effect systemの話をすると、PureScriptははじめはIOの代わりにeffect systemを使ってたのだけど、しばらくすると結局はIOと同等のシステムにもどってたように思う。

どういう経緯だったのか知らないけど。