型つきラムダ計算

型つきラムダ計算を実装しようと思ったが、これが思っていた以上に難しい。単にベータ簡約すればいいだけじゃないからなぁ。
まぁ、コンパイラつくるようなもんだしな。難しい…