Pure IO monad.