[sjakobi]

> Even Haskell doesn't get it right: there are no exhaustiveness checks on pattern matches

Just enable -Wincomplete-patterns or -Wall!

[fauigerzigerk]

It's just a warning, and it's opt-in. I would say that counts as not getting it right.