Un ejemplo típico es:  (λx.x(λx.x))x, donde el scope del binding más a la derecha afecta sólo a la "x" que tiene ahí, la situación del otro binding es análoga, pero no incluye el scope de la primera.