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

Если такой экземпляр не может быть написан, почему бы и нет?