Web-facing atomic in-memory timestamp server implemented in Software Transactional Memory in Haskell