>>618
俺が副作用と言ったのはまさにunsafeInterleaveIOのこと。
「副作用に頼らずに」のところは「unsafeInterleaveIOに頼らずに」と読み替えてくれ。

>遅延しない IO にも副作用が必要なわけで
ふつうの(遅延しない)IOモナド上の操作は参照透過で副作用はない、という立場で書いた。