From my amateur language nerd viewpoint, it's a crime for any newly designed statically typed language to lack tagged unions with exhaustiveness checking. Talk

From my amateur language nerd viewpoint, it's a crime for any newly designed statically typed language to lack tagged unions with exhaustiveness checking. Talk about an easy win for correctness!