> I would like to write a routine like
>
> nextPtr :: Storable a => Ptr a -> Ptr a
> nextPtr = (`plusPtr` sizeOf (undefined :: a))
How about:
getA :: Ptr a -> a
getA _ = undefined
nextPtr ptr = (`plusPtr` sizeOf (getA ptr)) ptr
-Thomas