ANN: H98 FFI Addendum 1.0, Release Candidate 10

[Simon Marlow]

> 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