(lambda (x) (lambda (y) (lambda (z) ((M N) O)))) じゃね?