副作用もちゃんと定式化できるよ。"effect system"で検索…しても駄目かな(笑)。
そもそもMonadにしても、副作用を定式化するためにMoggiが使い始めたのを、
Wadlerあたりが今みたいな使い方を言い出したというか。