[EMAIL PROTECTED] 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
_______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
