f = foo (\x -> x * y)