[davidw]

Ok, but if we're being picky about things, you can use all the monads you want, but if you read a file and display its output two different times, you may well get completely different results. The contents could have changed, someone may have removed the file, and so on.

[yvdriess]

Mathematically, you have two different inputs in that case, the environment changed since.