Cont as Monoid

[Conal Elliott]

I'd like to see the following addition to Control.Monad.Cont in mtl:

instance Monoid r => Monoid (Cont r a) where
    mempty         = Cont mempty
    m `mappend` m' = Cont (runCont m `mappend` runCont m')

What's the process for suggesting, discussing, and making such changes?

Cheers,  - Conal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/libraries/attachments/20070908/13a6e0d3/attachment-0001.htm