[Haskell-cafe] looking for advice on "lifting" and FFI

Hello, I am thinking about "glue"/"binding" code for POSIX listio and aio_suspend. E.g. http://docs.hp.com/en/B9106-90009/lio_listio.2.html 1) It seems to me that this is a "lifting" problem where we lift to a Haskell list of "aiocb's" to a C array of pointers?? An example of the "C array of pointers" is described by http://docs.hp.com/en/B9106-90009/lio_listio.2.html 2) Is it reasonable for the domain of the 1) mapping to be a Haskell list of "aiocb's"?? Kind regards, Vasili