Comment by tyre

Maybe there should be a compiler option or function to assert that a match is exhaustive. If the match does not handle a defined case, it blows up.