Hello,
     I am reading 
1) http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/API
2) 
http://haskell.org/haskellwiki/GHC/As_a_library
Conceptually by allowing importation of GHC itself into a problem is this some kind of reification? 
Kind regards, vasya