Comment by kcsrk

Kcas is the Haskell STM analogue in OCaml https://github.com/ocaml-multicore/kcas/