Whooo!
Ditto, they are too simple and they are basically a tagged_union/discriminated_union/Variant_type anyway. ^.^