あ゛ーそのつもりはないんだけど…　スレ汚してスマンね。

理由が弱いので、もう少し考えると、
例えば、doの途中でrunして値を取り出して、その値で分岐して別のモナディックアクションにつなぐのは、計算量が無駄。
それを避けるためにモナド（手続きの抽象）がある、と俺は理解している。