fib 0 = 0
fib 1 = 1
fib(n: 2..<Inf): Nat = fib(n-1) + fib(n-2)

print! fib 10
assert fib(10) == 55