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

Ryan Scott at
Fri Feb 23 13:46:47 UTC 2018

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.

More information about the Libraries mailing list