On 28/11/2017, Andrew Martin <andrew.thaddeus at 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.