Re: [Haskell-cafe] Can we come out of a monad?

Martijn,

In fact, I would argue that a monad which you cannot escape from is not very useful at all. IO is the only exception I know of.

And that's only because, at least the runtime system allows for execution of a computation inside the IO monad at top-level. Cheers, Stefan