Type TupleWithoutFirst: T extends [ Parsing error with InferType, ... Parsing error with InferType] ? E : never