Agda.Utils.Pointer
type
Ptr
a
deref
store
alloc
updatePtr