Descrição
Uma biblioteca Haskell para propriedades indexadas por tipo e verificadas em tempo de execução. Ajuda desenvolvedores a anexar evidência a valores após validação, para que código posterior possa exigir que uma propriedade já tenha sido checada.
Use quando tipos estáticos sozinhos não conseguem provar uma condição, mas o programa deve lembrar que a validação aconteceu. Verificações em tempo de execução devem falhar com mensagens claras quando a entrada não satisfaz a propriedade.