I am not familiar with Haskell, so this idea may or may not be applicable: "Design by Contract" http://se.ethz.ch/~meyer/publications/computer/contract.pdf ht

I am not familiar with Haskell, so this idea may or may not be applicable: "Design by Contract" http://se.ethz.ch/~meyer/publications/computer/contract.pdf http://se.ethz.ch/~meyer/publications/computer/contract.pdf It was created by Bertrand Meyer originally for the Eiffel programming language. More / related papers in Wikipedia "External Links" section: https://en.wikipedia.org/wiki/Design_by_contract https://en.wikipedia.org/wiki/Design_by_contract