let fib : Int -> Int = fix \f.\x.
  if 2 > x
    then 1
    else f (x-1) + f (x-2)

in fib 10