fun g n = n + 1

fun f x = x