>>303
いかにしてα変換をサボるかが重要なわけだが

((lambda (x) (lambda (y) x)) y) => (lambda (foo) y)