Agda.Utils.Pointer
type Ptr a