Re: [Haskell-cafe] Re: Can we come out of a monad?

I thought it was pure as, conceptually, readFile isn't 'run' rather it constructs a pure function that accepts a unique world state as a parameter. This might be totally unrealistic, but this is how I see IO functions remaining pure. Is this a good mental model?

In terms of what a function does, is readFile actually pure?

-- Ivan Lazar Miljenovic