It would be hard for the same reason it’s always been hard: - STM interacts badly with any interesting effects (like IO) - STM interacts badly with locks (C a

It would be hard for the same reason it’s always been hard: - STM interacts badly with any interesting effects (like IO) - STM interacts badly with locks (C and C++ use locks implicitly, because they’re in libc and libc++) - STM performs badly - STM is harder to use than locks