Control.Comonad.Pointer
data Pointer i a