Lift control operations, like exception catching, through monad transformers