去年（2023年）の年末に「カン拡張の左右： 混乱する原因がわかった！」という記事を書きました。ラムダ計算とカン拡張／カン持ち上げには類似性があるのですが、名前の対応がゆがんでいるため毎度混乱してしまう、という話でした。この記事では、なぜラムダ…