[damnyou]

Sum types and typeclasses in Haskell (or enums and traits in Rust) are a much better fit than classes and the mess that is operator overloading.

[INTPnerd]

Thanks! These definitely sound like what I should explore next in my journey.