[pjc50]

For IO, the monad is a "box" you put the entire mutable universe in so you can pretend the rest of your program is stateless.