Lift simple inner recursive let that is under a lambda