Monoid instance of Maybe unnecessarily restrictive

[bmabsout]

Monoid a => Monoid (Maybe a) should be Semigroup a => Monoid (Maybe a) Even the Documentation next to the instance says only a semigroup is needed

[ProofOfKeags]

This looks like it is due to Monoid being reexported from base. If you are on the most recent version of foundation, it will use [email protected] which generalized the Maybe instance of Monoid to only require a Semigroup in its type argument.