Sum type

An algebraic datatype with multiple Type variants combined via "or" - a value is one of the variants, each with its own Constructor tag (e.g., BT = mt | node).

An algebraic datatype with **multiple Type variant**s combined via "or" - a value is one of the variants, each with its own Constructor tag (e.g., BT = mt | node).