(* A simple implementation of the Fibonacci function *)

let fib =
  fun f(n) =>
    (fun g i y z => if n = i then y else g (i+1) z (y + z)) 0 1 1 in

fib (20)

(* answer is 10946 *)