Re: [Haskell] Any way to change state type in a monad?

Ben.Yu@combined.com wrote:

snipped

There seems to be something in the air. See the recent haskell-cafe thread started by Keean Schupke: http://www.haskell.org//pipermail/haskell-cafe/2004-July/006347.html Especially my reply: http://www.haskell.org//pipermail/haskell-cafe/2004-July/006349.html (this is more or less such a type-changing state monad you ask for. I have meanwhile a few more monads like that. Would be interesting to work out some theory of monad transformation in this context.) And perhaps also see *Chung-chieh Shan's reply:* http://www.haskell.org//pipermail/haskell-cafe/2004-July/006347.html Cheers, Ralf