should-not-typecheck-2.0: A HUnit/hspec assertion library to verify that an expression does not typecheck
Index