Cont as Monoid

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