you are of course right, that that would work. i was wondering more whether it is possible to structure the io monad (using algebras as in data types a la cart

you are of course right, that that would work. i was wondering more whether it is possible to structure the io monad (using algebras as in data types a la carte) or as you did here while _preserving backwards compatability_. right now io is very broad and can be pretty much everything. it should be more fine-grained. (i still have to look into safe haskell and it's rio, but my superficial look says, it's something different.)