An abstract type allowing values to be either of T1 or T2 type. Supports implicit casts from/to either types.

It is useful for interfacing with external code on dynamic platforms such as JavaScript or Python.

Otherwise, use of this type is discouraged.

See: