let fib = \n. if (output n) <= 2 
                then 1
                else this (n + -2) + this (n + -1)
in let const = \n. \k. eval n
   in const [|42|] [|fib 7|]