A HUnit/hspec assertion library to verify that an expression does not typecheck
https://github.com/CRogers/should-not-typecheck