Hay una instanciaMonoid a => Monoid (Const a b) Para elConst functor deControl.Applicative. También hay una instanciaMonoid m => Applicative (Const m).

Por lo tanto, esperaría que también haya una instanciaMonoid m => Alternative (Const m) que coincide con el deMonoid. ¿Es esto solo una omisión que se debe solucionar, o hay una razón más profunda?