Es gibt eine InstanzMonoid a => Monoid (Const a b) für dasConst functor vonControl.Applicative. Es gibt auch eine InstanzMonoid m => Applicative (Const m).

Ich würde daher erwarten, dass es auch eine Instanz gibtMonoid m => Alternative (Const m) das stimmt mit dem für @ übereMonoid. Ist dies nur eine Lücke, die behoben werden sollte, oder gibt es einen tieferen Grund?