let
    fact = fun f(x: int): int => if x = 0 then 1 else x * f (x-1)
in
    fact (10)