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