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