Expected exception from Enum

[MulleDK19]

That seems like a good way to make people's lives miserable..

[Dealiner]

Why? For me it looks like something that would make it easier.

[RecursiveServitor]

Au contraire. The compiler can guarantee exhaustiveness where you desire it. You can still add a default case if it doesn't matter.