should-not-typecheck (hackage): For examples and an introduction to the library please take a look at the README on github.
Keywords: bsd3|library|testing