I think most modern languages have complexity in the wrong areas. The type systems are not complex enough to capture the things I want algebraic data types with

I think most modern languages have complexity in the wrong areas. The type systems are not complex enough to capture the things I want algebraic data types with exhaustiveness guarantees).