Integration of FFI into GC in Haskell

I've read a couple of thought-provoking articles:

• Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell, by Simon Peyton Jones
• Stretching the storage manager: weak pointers and stable names in Haskell, also by Simon Peyton Jones

They provide several techniques to solve some issues while doing FFI in garbage-collected languages.