https://github.com/carbon-language/carbon-lang/tree/trunk/docs/design#choice-types They got tagged union built in! as well as .Enum and pattern matching! What are we waiting for? We failing behind