Effects in OCaml 5.3 are quite a bit cleaner than there were a few years back (tho still not typed).