(letrec (fact : Int -> Int n : Int)
    (if (= n 0)
        1
        (* n (fact (- n 1))))
    (fact 10))