f 1
. a = 2
. f = x -> x + a