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