じゃあ、
a=1;
a=2;
と同じことをモナドで書くとどうなるの？
どうして副作用が消えるの？