I&#39;d like to see the following addition to Control.Monad.Cont in mtl:<br><span style="font-family: courier new,monospace;"><br>instance Monoid r =&gt; Monoid (Cont r a) where<br>&nbsp;&nbsp;&nbsp; mempty&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; = Cont mempty<br>&nbsp;&nbsp;&nbsp; m `mappend` m&#39; = Cont (runCont m `mappend` runCont m&#39;)
<br></span><span style="font-family: courier new,monospace;"></span><br>What&#39;s the process for suggesting, discussing, and making such changes?<br><br>Cheers,&nbsp; - Conal<br>