Type alias UnionToIntersection<U>

UnionToIntersection<U>: (U extends any
        ? ((k) => void)
        : never) extends ((k) => void)
    ? I
    : never

Intersection type

UnionToIntersection<{a: 1} | {b: 2}> => {a: 1} & {b: 2}