A generic default parameter can reference an earlier type parameter. What is the type of `first` in R?type Box<T extends unknown[], V = T[number]> = { items: T; first: V }; type R = Box<[1, 2, 3]>;
