Existe uma instânciaMonoid a => Monoid (Const a b) para oConst functor deControl.Applicative. Há também uma instânciaMonoid m => Applicative (Const m).

Eu esperaria, portanto, que também haja uma instânciaMonoid m => Alternative (Const m) que coincide com o deMonoid. É apenas uma omissão que deve ser corrigida ou existe uma razão mais profunda?