Appearance
type InferFirstAndPreserveLabel<T> = T extends [any, ...infer R] ? T extends [...infer H, ...R] ? H : never : never;
T
any