Descrição
Fornece suporte de verificação de leis com QuickCheck para typeclasses comuns da biblioteca base de Haskell. Ele ajuda desenvolvedores a testar se suas instâncias se comportam conforme as leis esperadas.
É útil para bibliotecas que definem instâncias de Functor, Applicative, Monad, Semigroup, Monoid e abstrações semelhantes. É uma biblioteca de suporte a testes e não possui interface independente.