Type Alias IntersectOf<U>

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