Este pacote fornece funções adicionais para trabalhar com restrições no Haskell. Ele inclui funções para criar e manipular restrições, bem como para trabalhar com tipos de dados que possuem restrições. Ele é projetado para ser fácil de usar e oferece uma boa performance. 