Hacker News Reader

You can build more granular effect systems on top of IO if you want, and many people have done.

True, this is maybe more about the ecosystem than the language itself.

You can also build IO on top of the effect system https://github.com/slamdata/purescript-io :)