IMCROSS and ghc