Type alias UnionOf<Types>

UnionOf<Types>: Types extends [infer Elm]
    ? Elm
    : Types extends [...(infer Body), infer Last]
        ? UnionOf<Body> & Last
        : Types

Union of all types of a given tuple Types.