Por que não existe uma instância 'Alternativa' para 'Control.Applicative.Const'

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?

questionAnswers(1)

yourAnswerToTheQuestion