A test of a datatype based around STM TMVars