『計算(computation)』の概念の要件がモナドになることなんだよ。
なので、一つのモナドに対して一つ計算効果というか副作用（？）が伴う。
ていうか、混乱は副作用(side-effect)という用語をつかっているからだ、
計算効果（computational effect）使え。
なんかよくわからん『計算』という概念をとりあえずモナドで定式化
してみましたって話なんだから。