[rmonad] RMonadFix (was: "patch for the rmonad package")
ganesh at earth.li
Thu Mar 19 18:01:06 EDT 2009
>> On Fri, 7 Nov 2008, Peter Gavin wrote:
>>> I've needed to add support for MonadFix to rmonad. I've attached a
>>> patch with my code.
I've just realised that this leaves out a case for unEmbed (Bind (MFix m)
f). In addition, I can't actually figure out how to write such a case and
I am beginning to suspect it's not possible.
Any thoughts? I've been through the mfix laws in the source of
Control.Monad.Fix, and also checked Erkok and Launchbury's mfix paper, and
I can't see anything that can be sensibly used here. Hopefully I'm missing
More information about the rmonad