letrec fib n = 
    if equal n 0 then 1
    else if equal n 1 then 1
    else add (fib (minus n 1)) (fib (minus n 2))
in fib 6
