Hacker News Reader

But how else would you do IO?

By having IO functions taking an argument representing the global IO environment/state and returning it. That way IO functions can remain pure.

Next you are going to tell me about endofunctors I guess.