f a = \x -> x + x