Cont as Monoid
conal at conal.net
Sat Sep 8 20:26:09 EDT 2007
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...
More information about the Libraries