Type Alias LastInUnion<U>

LastInUnion: Generics.UnionToIntersection<
    U extends unknown ? (x: U) => 0 : never,
> extends (x: infer L) => 0
    ? L
    : never