이제 lambda-lifting만 구현하면 됨