let fib = \n. if (output n) <= 2 
                then 1
                else this (n + -2) + this (n + -1)
in let double = \n. eval(n) + (let fib = \x. 0 in eval(n))
   in double [| $(lift fib) 7 |] // computes 7th fibno twice, yields 26