Um sistema de teste baseado em propriedades é uma forma de testar seu código usando vários exemplos para garantir que ele esteja funcionando corretamente. O haskell-hedgehog é uma ferramenta desse tipo escrita na linguagem de programação Haskell. Ele permite que você escreva testes de forma rápida e fácil, e fornece muitos recursos para ajudar a encontrar problemas no seu código. 