Compile time checks that a computation considers producing data through all possible constructors - View it on GitHub