>>365
λx.λy..x
=λx.x
でしょ。
こうならないってこと。