I'm very excited for this! I remember seeing a presentation a few years ago that mentioned that OCaml could use effect handlers to implement preemption in fibers. I can't seem to find that presentation, but I believe it mentioned being able to interrupt a fiber with an effect. Is that something that is in the plans or was that just an early idea?