я читалhttp://www.haskellforall.com/2013/06/from-zero-to-cooperative-threads-in-33.html где абстрактное синтаксическое дерево выводится как свободная монада функтора, представляющего набор инструкций. Я заметил, что свободная монадаСвободно не сильно отличается от оператора фиксированной точки на функторахФикс.

В статье используются операции монады иdo синтаксис для создания этих AST (точек фиксации) в сжатой форме. Я'мне интересно, если этоединственная выгода от бесплатного экземпляра монады? Есть ли другие интересные приложения, которые он включает?