Este é um pacote para o framework de testes Hspec que adiciona suporte para SmallCheck, uma ferramenta que ajuda a testar seu código Haskell. Com ele, você pode verificar automaticamente se seu código funciona para uma variedade de entradas, ao invés de precisar escrever testes manuais para  cada caso.SmallCheck é especialmente útil para verificar propriedades de seu código, como se ele é idempotente ou se ele segue alguma propriedade matemática. Ele também pode ajudar a descobrir bugs que podem ser difíceis de reproduzir manualmente. 