Thanks, this is very valuable! Have you tried other implementations of STM such as Haskell's?

I don't have any experience with STMs in other languages, but as far as I can see, the ideas are very similar in Haskell and Kotlin implementations, for example, so I guess the downsides are the same as well