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