i) ghc and platform