Type Alias Intersection<U>

Intersection: (U extends any ? (k: U) => void : never) extends (
    k: infer I,
) => void
    ? I
    : never