make_from_s uses React.S.value, which can raise a Failure when executed within an update step. I haven't been able to define it using only React non-primitive operators. Even though coping out to a concurrency monad does work, it's not desirable here since it'd introduce a new dependency (and force the user's hand in deciding between Lwt/async/other).
Similarly, all the imperative operations on the handle are unsafe within an update step -- this should at least be documented.