eu estava lendohttp://www.haskellforall.com/2013/06/from-zero-to-cooperative-threads-in-33.html onde uma árvore de sintaxe abstrata é derivada como a mônada livre de um functor representando um conjunto de instruções. Notei que a mônada livreLivre não é muito diferente do operador de ponto de ajuste nos functoresConsertar.

O artigo usa as operações de mônadas edo sintaxe para construir esses ASTs (pontos de fixação) de uma forma concisa. Eu estou querendo saber se esse é o único benefício da instância monad gratuita? Existem outras aplicações interessantes que são permitidas?