Functions like retry and newTMVar are not reexported, but if you import Control.Concurrent.STM to get them then the lifted definitions of atomically etc. conflict with the regular ones.