类型别名 UnionToIntersection<U>

UnionToIntersection: (U extends unknown ? (k: U) => void : never) extends (
    k: infer I,
) => void
    ? I
    : never