Type Alias TUnion<Types>

TUnion: Types extends []
    ? never
    : Types extends [infer T0, ...(infer TRest)]
        ? TRest extends [] ? T0 : T0 | TUnion<TRest>
        : any