> Non-termination is a property of a computation, not something that a program does to the outside world You seem to be suggesting that IO is the only effect.

> Non-termination is a property of a computation, not something that a program does to the outside world You seem to be suggesting that IO is the only effect. State, Writer and Either are effects but they don't do anything to the outside world.