[Haskell-cafe] Transactional in-memory model