The variants vocabulary provides syntax and combinators for defining and manipulating algebraic data types.
VARIANT:

VARIANT-MEMBER:

variant-class

match ( branches -- quot )