Defined<T>: ConditionalType