(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))