let code = \y. if y <= 0 then lift 1
                         else [| $(this (y + -1)) + x |]
in code 3