I = λx. x として

I (I y (I y)) でテストすれば4パターン全部わかる。