Type UnionToIntersection: (U extends any ? (k: U) => void : never ) extends (k: Parsing error with InferType) => void ? I : never