f 4
. f = a -> a + 1