вы будете точно знать, какова форма этого леса на верхнем уровне, то есть сколько именно элементов у него есть, или он завершается и т. д. по монотонности. Так что это не имеет значения вообще. Однако я согласен с тем, что экземпляры дерева / списка / розового дерева и т. Д. Вряд ли будут полезны. Все примеры, которые я видел для таких эзотерических случаев, являются более или менее искусственными. Единственный известный мне пример, который является «полезным», - это пример для Fudgets, который является своего рода «деревом» и моделирует семантику термина для базового ввода-вывода; обсуждается в разделе 4.8 диссертации.

изация трансформаторовиз [https://hackage.haskell.org/package/transformers-0.5.5.0/docs/src/Control.Monad.Trans.Maybe.html#line-186] заMonadFix не удается, если функция когда-либо оцениваетMaybeT, ПочемуNothing не распространяется поNothingДолжна ...

Возможно ли разворачивать ленивое монадическое розовое дерево первой ширины?

Почему не может быть экземпляра MonadFix для продолжения монады?

Как мы можем доказать этопродолжение монада не имеет действительного экземпляра

Возможно ли реализовать MonadFix для `Free`?

http://hackage.haskell.org/package/free [http://hackage.haskell.org/package/free]вControl.Monad.Free.Free позволяет получить доступ к «свободной монаде» для любого данногоFunctor, Это, однако, не имеетMonadFix экземпляр. Это потому, что такой ...

Возможно ли реализовать MonadFix для `Free`?

http://hackage.haskell.org/package/free в