モチベーション微妙。とりあえず p.120 にある という式の演算を可能にする実装を盛り込んで、と思ったのですが試験を検討しかけた瞬間、上記の式の結果がどうなるのかを考えるのが面倒。同時に以下の式が評価できる実装の盛り込みも相当手間がかかるなぁ、…