相关疑难解决方法(0)

在对文件Free说:

许多常见的单子出现为免费单子,

• 鉴于data Empty a,Free Empty与Identitymonad 同构.
• Free Maybe可用于建模偏好monad,其中每个图层表示运行计算的时间更长.

还有哪些monad可以使用Free？

我只想到一个:我相信Free (Const e)是同构的Either e.

编辑:哪些monad 不能用于表达Free？为什么？