Este programa adiciona suporte para o framework de testes LeanCheck. Ele permite que você use as ferramentas do  LeanCheck para testar seu código escrito em Haskell.Com o suporte do LeanCheck, você pode automatizar seus testes e ter maior confiança de que seu código está funcionando corretamente. Além disso, o LeanCheck fornece relatórios detalhados e fáceis de entender sobre quaisquer falhas de teste que possam ocorrer. 