reader n acc head = do
  acc' <- snapshot acc =<< readSRef head
  reader (n - 1) acc' head
reader n acc head = do
  acc' <- snapshot acc =<< readSRef head
  reader (n - 1) acc' head
reader n acc head = do
  acc' <- snapshot acc =<< readSRef head
  reader (n - 1) acc' head