abstract ghc version number