Re: [Haskell-cafe] Ensuring all values of an ADT are explicitly handled OR finding all occurrences of type X in my app

We want this at my company too, so we don't write fall-through cases.

That's a short-term workaround, yes. However it doesn't fit into Haskell's overall story of language-enforced correctness. -- Saurabh.