So every database in the world not designed in Haskell can't do a proper transaction?