class NoMatchingPatternError < StandardError

A case/in whose patterns all fail to match, without an else. The compiler warns about such a case when it can tell the patterns do not cover the type.

<prelude>:5338