fib: int a -> int | a 0 == -> 1 | a 1 == -> 1 | 1 1 == -> a 1 - fib a 2 - fib + duplicate println ; 10 fib