[Haskell-cafe] Referential Transparency and Monads

[Miguel Mitrofanov]

> I'm not sure what you mean by that, but semantically IO is definitely
> *not* a state monad.  Under any circumstances or any set of  
> assumptions.

Ehm? Why not?