foo x y = (+) x y