@hackage / exhaustive

Compile time checks that a computation considers producing data through all possible constructors