>>20「Haskellではモナドの理論を利用して副作用のある世界をラップして純粋な世界との辻褄合わせに利用してるって話だろ」

と言ってたのが、>>109>>173に言われてしれっも

>>206「モナド則をIOの順番の情報を維持することに使ってる」

とすっとぼける(笑)