Some examples of Software Transactional Memory in Haskell

It seems obvious now, but when reading the code, it might help to note that "writeTVar" and "readTVar" probably mean "write transactional variable" and "read transactional variable."