An object is an instance of a union class if it is an instance of one of its members.
( class members -- )
Union classes can be introspected:
( class -- seq )
The set of union classes is a class:
( object -- ? )
Unions are used to define behavior shared between a fixed set of classes, as well as to conveniently define predicates.