Integração de Haskell para testes e aleatoriedade
