I've created http://hackage.haskell.org/trac/ghc/ticket/1189 to suggest adding two Monoid instances around Maybe that, instead of accumulating things like most monoids, just pick the first or last piece of data they see. Would a week (March 12) be enough time to discuss this? Thanks, Jeffrey Yasskin