export type DropFirst = T extends [any, ...infer U] ? U : never;