Luego, λx.y representa la función constante x → y, que develve y sin importar qué argumento se le dé.