exhaustive-1.0.0: Compile time checks that a computation considers producing data through all possible constructors

Modules