我想写一个光滑的代码（节省我很多时间来实现其他） 绑结。它大致是这样的，
n <- myinstr n x
在理论上， myinstr 应该运行 x 得到一个价值，这将成为 n。 myinstr，在里面运行 State monad，会放 n 进入状态，但这并不影响 x的计算。
我试过用过 DoRec 并且实现了 mfix，
instance Monad 我想写一个光滑的代码（节省我很多时间来实现其他） 绑结。它大致是这样的，
n <- myinstr n x
在理论上， myinstr 应该运行 x 得到一个价值，这将成为 n。 myinstr，在里面运行 State monad，会放 n 进入状态，但这并不影响 x的计算。
我试过用过 DoRec 并且实现了 mfix，
instance Monad 没有通用的方法可以将任意monad作为实例 MonadFix。实际代码取决于monad，并且所有monad都不可能。
您可以查看各种monad以了解它是如何完成的。如果你的monad实际上是 State 应该已经有了一个实例。
没有通用的方法可以将任意monad作为实例 MonadFix。实际代码取决于monad，并且所有monad都不可能。
您可以查看各种monad以了解它是如何完成的。如果你的monad实际上是 State 应该已经有了一个实例。