El resultado será obviamente "x → (z → x + z)", (igual a la "x → (y → x + y)") pues la función identidad siempre devuelve lo mismo que se le da.