On Sat, Aug 13, 2011 at 02:47:04PM -0400, Brandon Allbery wrote:> Isn't this just mconcat? No. The Monoid instance for Maybe defined in Data.Monoid is the one which lifts a Monoid instance on a to a Monoid instance on Maybe a.