Data.StateRef
readRef
writeRef
atomicModifyRef
modifyRef
readsRef
newCounter
mkLapseReader