Descrição
Fornece asserções HUnit e Hspec que verificam que uma expressão não passa no typecheck. Isso permite que bibliotecas Haskell testem comportamento negativo em nível de tipos, não apenas comportamento em tempo de execução.
É útil para bibliotecas com tipos avançados, APIs que devem rejeitar código inválido e exemplos de documentação que demonstram erros de compilação. É uma biblioteca de suporte a testes usada por suítes automatizadas.