> 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