> and enforces exhaustion. Not even Haskell does that. Maybe it doesn't throw an error message, but ghc does warn about it when you use the -Wall flag. I belie

> and enforces exhaustion. Not even Haskell does that. Maybe it doesn't throw an error message, but ghc does warn about it when you use the -Wall flag. I believe you can get the behaviour you want by turning on only that specific warning (I forget what it's called) and using -Werror.