Making OpenCL? Simple with Haskell - AMD Developer Central

BUT THERE IS A PROBLEM (I THINK)
Quasiquotation requires instances for Typeable and Data
Remember that HOpenCL has definitions of the form:
data Platform_
type Platform = Ptr Platform_
No way to derive Typeable and Data for Platform_
This makes sense in the case that we want to build and retain values of
type Platform at compile time, what does it mean to preserve a pointer?
46 | Making OpenCL Simple | January, 2011 | Public