An immediate update that it would be great to get feedback on is a recent paper draft from a few weeks ago on “Concurrent Systems Programming with Effect Handlers”
http://kcsrk.info/papers/system_effects_may_17.pdf
This proposes a monad-free model for doing direct-style IO, but with custom schedulers written in OCaml.