Adding WriterT monad in the StateSTM stack