instance Monoid m => Applicative (Const m)

we could easily add

instance Monoid m => Alternative (Const m) where

  empty = coerce mempty

  (<|>) = coerce (<>)

which trivially satisfies left/right identity and associativity.

I propose we add this instance to base.