>>471
> 参照透明性は保たれている
ていうか、純関数でないようにしたので「参照透明性がない」と指摘できなくなった、
というのが正しいのでは？

>>473
計算効果≒副作用というんだから、モナドではもちろん副作用がある、ということね？