lift package:basic-prelude

Lift a computation from the argument monad to the constructed monad.
Lift a computation from the IO monad.
Lift a computation from the IO monad.