Ferramenta de especificação para MonadIO em Haskell
