@hackage should-not-typecheck2.0

A HUnit/hspec assertion library to verify that an expression does not typecheck

For examples and an introduction to the library please take a look at the README on github.