Por ejemplo, "x,y → x + y" puede ser reescrita como "x → (y → x + y)".