"Purity is more important than, and quite independent of, laziness" That is a good point, and one to remember. Laziness was simply a side-effect / useful consequence of Haskell's implementation, but isn't essential to guarantee its correctness..