Agda.Utils.Pointer
data
Ptr
a
newPtr
derefPtr
setPtr
updatePtr
updatePtrM