[codygman]

I don't think I'd call the IO monad "dirty" since it's still pure. Also "dirty" make it sounds like a hack.

[dllthomas]

Pure manipulation of values describing impure computation.

[codygman]

Good point.