RE: ANN: H98 FFI Addendum 1.0, Release Candidate 10

I don't think we have much choice about whether undefined values are part of the type. If you can create a value of that type:

x <- derefPtr (px :: Ptr T)

I'm not following this. what exactly is derefPtr? The only analogous function I can think of is Foreign.peek: peek :: Storable a => Ptr a -> IO a but peek will unmarshal the value at the end of the Ptr into T, so T cannot be abstract. Cheers, Simon