Descrição
Fornece typeclasses comuns para testes com QuickCheck. Essas classes ajudam a verificar se tipos de dados obedecem leis e comportamentos esperados em entradas geradas.
É útil para autores de bibliotecas que querem verificações reutilizáveis de leis para instâncias de typeclass. É uma biblioteca de suporte a testes e normalmente é usada dentro de suítes automatizadas.