Here's an example using OCaml 5 to run multiple fibers concurrently (look - no monads!):

https://github.com/ocaml-multicore/eio#fibers