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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe