I've been excited about llvm being low enough to model any system, and saw it as promising that Apple was adopting it; but then again Apple doesn't specifically support Haskell;
and, some think that Haskell would be better off with c-- :
That LLVM'ers haven't solved the problem of zero-overhead garbage collection isn't too surprising . Solving this while staying agnostic of the data model is an open question in computer science.