Union type retrofitted type system

Union type: An untagged, ad-hoc combination of existing independent types (e.g., (U mt node)) - unlike Sum type (Algebraic data type) where Type variant are tagged and defined together as part of one type.