GHC as library

I seem to recall some time ago the Simons asked on one of these lists about uses people might have for GHC-as-library. It sounded really neat to me, and I just kind of wonder if there is any motion on that front. I'm thinking about hacking up a system to extract proof obligations into Coq (http://coq.inria.fr/) from Haskell, and being able to get my hands on various things would be really nice (like being able to get at the AST after typechecking, but before conversion to core). Robert Dockins