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

[Ralf Laemmel]

Ben.Yu at 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