Documentation

An IO monad transformer.

I can't run IOT. Instead, I run the monad inside it. This is done using run, and hoist from mmorph.

The combination is only a monad if the parameter monad isn't nondeterministic. IOT Maybe and IOT State are monads, but IOT [] and IOT Cont are not.

Should be integrated with STT.

Run an IOT.