TupleWithoutFirst<T>: ConditionalType