Expand<T>: ConditionalType