小编mei*_*rsi的帖子

有一个实例Monoid a => Monoid (Const a b)为Const从仿函数Control.Applicative.还有一个例子Monoid m => Applicative (Const m).

因此,我希望还有一个实例Monoid m => Alternative (Const m)与之相符Monoid.这只是一个应该修复的遗漏,还是有更深层次的原因？