f a = \a -> a + a