Type Alias OrToAnd<TUnion>

OrToAnd: (TUnion extends any ? (k: TUnion) => void : never) extends (
    k: infer I,
) => void
    ? I
    : never

Converts a union type to an intersection.