I would add some simple comment, it could be clear for you but at first sight I can't tell what `lift` is for, I have to read all the code.