exhaustive (hackage): Compile time checks that a computation considers producing data through all possible constructors
Keywords: bsd3|control|library