Есть экземплярMonoid a => Monoid (Const a b) дляConst функтор изControl.Applicative, Также есть экземплярMonoid m => Applicative (Const m).

Поэтому я бы ожидал, что есть также экземплярMonoid m => Alternative (Const m) что совпадает с тем дляMonoid, Это просто упущение, которое нужно исправить, или есть более глубокая причина?