[ParetoOptimal]

I think writing in Haskell or Rust and using ADTs and pattern matching with exhaustivity checking does the same thing.