http://www.kmonos.net/wlog/95.html#_1946090312 まずいったん変数を返して（中略）全体の式を作らせてから、その外に let 束縛を追加して改めて全体の式として返す Let-insertionというやつですね。継続ベース部分評価という手法の一部で、letもさることな…