let fib_memo = memoize fib;;
- : int -> int = <fun>