let fib = \n. if (output n) <= 2 
                then 1
                else this (n + -2) + this (n + -1)
in let double = \n. !n + eval(n) //equivalent to \n. (fib 7) (fib 7) when run
   in double [| fib 7 |]