UnionToIntersection<U>: ConditionalType

Convert a union type to an intersection type.