document lift as a natural transformation in the category of monads