ghc-7.0.1: The GHC API