ghc: add a test