TUnion

Represents a type which is the union of several other types; i.e. it can have a value whose type is of any the union's subtypes.