foo x  = y