我偶尔会看到Free Monad这个词出现，但每个人似乎都在使用/讨论它们，却没有解释它们是什么。那么:什么是免费的单子?(我想说我熟悉单子和Haskell的基础知识，但只有一个非常粗略的范畴理论知识。)