fun g n = n + 1 fun f x = x