每个单子都是幺半群？

Question

因为每个Monad 在排序操作上都是Monoid。 为什么Monad 不继承haskell 中的Monoid？

Answer 1

它甚至不必是Monad，这适用于每个Applicative。所以是的，你可以定义：

class (Functor f, Monoid (f ())) => Applicative f where

但这意味着每次编写Applicative 实例时都必须提供Monoid 实例。这可能很烦人，当然因为这个Monoid 实例不会经常使用。

更好的解决方案是围绕f () 创建一个新类型包装器，然后您可以一劳永逸地为所有应用函子提供Monoid 实例。 the reducers package 有一个现成的。