There were some interesting attempts trying to adapt LLVM's precise GC to Haskell's GC model and the difficulties with this approach: http://lhc-compiler.blogspot.com/2009/01/why-llvm-probably-w...