David Anderson wrote:
So, it seems that I am reinventing wheels that others have generalized better :-). That's fine, it's the expected result of launching and iterating, especially given my current command of Haskell. So I should now focus on reducing the reinvention.
No worries, this MonadMorphIO thing is very recent, I just wanted to mention that it's applicable here as well. :)
Most of the discussion that followed the message that you linked is currently beyond my understanding of category theory. However, I should probably go and talk to the maintainer of MonadCatchIO-* about extracting something like MonadMorphIO into a package, and making both their exception handling modules and this forking module reuse it.
Sounds good; although I do think that the problem of making monads modular does not yet have a completely satisfactory answer, even with MonadMorphIO. But that should not deter from experimentation. :) Regards, Heinrich Apfelmus -- http://apfelmus.nfshost.com