On Sat, Nov 12, 2011 at 21:29, Edward Kmett <ekmett at gmail.com> wrote: > instance Monoid e => Monad ((,) e) where > return a = (a, mempty) This should probably be: return a = (mempty, a) Erik