1. (x, y) -> x
2. (lambda (x y) x)
3. Lxy.x

솔직히 첫번째꺼가 더 보기 편한건 맞음
복잡한 식을 쓰면 또 모르겠다잉