@mangoiv the point is that, being lazy, we could never be tempted to the dark side of impurity. Now there are indeed pure strict languages, but at the time of Haskell's birth every major language, even those that started out as pure, had become impure to add the ability to do input and output.