On Mon, Jan 16, 2012 at 08:17, Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com> wrote:
As I said, you think of IO too much.
I think you two are talking about two related but different things; monad-control is solving a *specific* problem with IO, but you want something more general. I think you'll find your more general solution will involve monad-control, but will not satisfy all the use cases for monad-control (because IO is a sewer, and sometimes you need to deal with the sewer as such).
--
brandon s allbery allbery.b@gmail.com
wandering unix systems administrator (available) (412) 475-9364 vm/sms