UnionToIntersection<U>: ConditionalType