TX
class Persistable d
data Database d
openDatabase
closeDatabase
withUserData
data TX d a
persistently
record
getData
liftSTM
throwTX
unsafeIOToTX
(<?>)