f = \x -> x + x