Monoid instances for mtl