[Haskell-cafe] Re: Monad explanation

[Emilio Jesús Gallego Arias]

egallego at babel.ls.fi.upm.es (Emilio Jesús Gallego Arias) writes:

> IMHO, if you assume IO a = World -> (World, a), then getChar is indeed a
> function and deterministic. It is, there are not w :: World such that
> getChar w != getChar.

Sorry I meant:

There is not w :: World such that getChar w != getChar w.