Proposal: Add Applicative (and Monoid) instances in GHC.Generics (Libraries Digest, Vol 174, Issue 27)

[Ryan Scott]

Those Monoid instances (and Semigroup instance for V1) you propose
sound reasonable.

I'd also be fine with adding Monoid instances for Par1, Rec1, and
(:.:), since we already define other instances like Eq, Ord, Read, and
Show for them. Besides, if we don't add them this time around, someone
else will just ask for them later :)

Ryan S.