Monad composition

Tom Bevan
23 Jan 2002 17:29:22 +1100

Hi all,

I'm writing a programme which requires IO actions to be interleaved with
operations on a State monad. From what I can work out, this means that
the IO Monad and the StateTransformation monad need to be composed into
a single highr order monad.
Does anyone have any references or pointers on how this should be done?