verify that an expression does not typecheck; documentation

 should-not-typecheck is a Haskell library which allows you to assert
 that an expression does not typecheck in your tests. It provides one
 function, shouldNotTypecheck, which takes an expression and will fail
 the test if it typechecks. shouldNotTypecheck returns an HUnit
 Assertion (so it can be used with both HUnit and hspec).
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.