2 ms·

Many languages have type safe tagged unions with pattern matching. It's called the visitor pattern. The syntax is atrocious though.