lift package:mmorph

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