Understanding the Purpose of IO Type
Can someone explain me the need of IO type? I may be wrong, but it just looks like a thunk to me. Is it just to have a nicer representation in the type system? To make it easier to define operations on a properly typed thunk? Or I'm missing something?
