On Sun, 22 Mar 2009, nicolas.pouillard wrote: > It sounds like a nice idea, it would be great to have a straight-io package > to play a bit more with explicit exceptions in things like 'IO'. Maybe I should then restrict lifting to LazyIO to SIO actions. That would not make LazyIO safe, but reduces surprises.