Proposições decidíveis em Haskell
