let fibFun n : num =
      let rec f a b n =
        match n with
        | 0 -> a
        | 1 -> b
        | n -> (f b (a + b) (n - 1))
        f (num 0) (num 1) n