No acumula una cadena de operaciones deferred, sino que su estado es, más bien, mantenido completamente en las variables "x" e "y".