※ 引述《suhorng ( )》之铭言：
: 不过那个结构[aka. data Free f a = Pure a | Impure (f (Free f a))]
: 到底要怎么推出来呢...?
各位板友新年快乐XD" 虽然年都要过完了
最近发现同一个作者还有另外几篇介绍 Free Monad 的文章：
http://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html
http://www.haskellforall.com/2012/07/purify-code-using-free-monads.html
我觉得他给的程式范例解释的很清楚, 也有小提及前几篇文提到的list
另外, 关于 free monad 还有个很有趣的用 CPS 改进复杂度的介绍:
http://www.haskell.org/haskellwiki/Performance/Monads
(比较简短的解释:
http://www.haskell.org/pipermail/haskell-cafe/2010-January/072454.html )