The difference is that with IO, one can catch an exception, and thus write a program that branches based on evaluation order. In this case the Haskell program

The difference is that with IO, one can catch an exception, and thus write a program that branches based on evaluation order. In this case the Haskell program itself does not observe the order, as it crashes, but the order is printed as debug inormation.