<div dir="auto">We already have<div dir="auto"><br></div><div dir="auto">instance Monoid m => Applicative (Const m)</div><div dir="auto"><br></div><div dir="auto">we could easily add</div><div dir="auto"><br></div><div dir="auto">instance Monoid m => Alternative (Const m) where</div><div dir="auto">  empty = coerce mempty</div><div dir="auto">  (<|>) = coerce (<>)</div><div dir="auto"><br></div><div dir="auto">which trivially satisfies left/right identity and associativity.</div><div dir="auto"><br></div><div dir="auto">I propose we add this instance to base.</div></div>