28 Nov
2017
28 Nov
'17
7:22 p.m.
On 28/11/2017, Andrew Martin <andrew.thaddeus@gmail.com> wrote:
instance (Applicative m, Monoid a) => Monoid (ReaderT r m a)
I believe there is good reason to prefer the first instance over the other two.
+1 This is also how the `Monoid` instance of `(->)` is defined.