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

What I've heard from Haskell programmers suggests that the downsides are very different, even though the ideas are very similar.