Move MonadIO to base

Anders Kaseorg andersk at MIT.EDU
Mon Apr 19 05:42:13 EDT 2010


On Mon, 19 Apr 2010, Isaac Dupree wrote:
> Do you see the difference?

Yes; my question is more whether Wren has a more clever way to get an 
isomorphism (forall b. (m a -> IO b) -> IO b) <-> IO (m a) that would make 
the simpler interface work out.  (Or maybe I misunderstood what he was 
getting at.)

Anders


More information about the Libraries mailing list