Software Transactional Memory in Haskell Contribution for the Informatics Research Review at the University of Edinburgh Software Tranactional Memory in Haskell