Lifting through monad…