dev-haskell/
should-not-typecheck

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

https://github.com/CRogers/should-not-typecheck