1 2 3 4 5 6 7
(letrec (fib : Int -> Int n : Int) (letrec (fibh : (Int -> Int -> Int -> Int) a : Int b : Int k : Int) (if (= k 0) a (fibh b (+ a b) (- k 1))) (fibh 0 1 n)) (fib 10))