表示意味論が提示されてから10年ほどで計算効果一般の
モデルをモナドで与えようという発想が提出されてるのだが、
「今までモナドという概念がなかった」とはこれいかに。