Lift control operations through monad transformers
