点が余計に入った
λ.x.(λy.x)は変換するとλx.xだろうと。