标签: freer-monad

我曾几次听到这个词，但我仍然不知道所谓的“ Freer Monad”到底是什么。这个名字让我想到了Free Monads，但我看不出它们之间的实际联系。我在hackage上找到了一些库：http ://hackage.haskell.org/package/freer ，但是那里的示例对我没有太大帮助。

所以我的问题是：

• 什么是更自由的单子？
• 如何使用它们？
• 什么时候应该使用它们？
• 与经典monad和免费monad相比，它们提供什么优势？