monadによって副作用なしにエミュレートされた副作用が、関数型には副作用がないというときの副作用を指すかどうか、それが問題だ。