Comment by Aardappel

You'd prefer something more like Rust traits or Haskell Type Classes?

I admit this was mostly out of simplicity/convenience/familiarity.

If you're a Rust person, you'll appreciate that Lobster lets you use similar exhaustive switches to Rust's enum instead: https://github.com/aardappel/lobster/blob/master/tests/types...