Descrição
Define uma classe de tipos Validity para valores Haskell. Uma instância Validity descreve se um valor satisfaz as invariantes esperadas por seu tipo ou domínio.
É útil para testes, geradores, camadas de validação e bibliotecas que querem verificações reutilizáveis de dados bem formados. A qualidade da validação depende de instâncias que expressem corretamente as invariantes reais.