Restrict IO monad.