Why does Haskell not have an I Monad (for input only, unlike the IO monad)?

Question

Conceptually, it seems that a computation that performs output is very different from one that performs input only. The latter is, in one sense, much purer.

I, for one,

Answer 1

Short answer: IO is not I/O. Other folks have longer answers if you like.