[Hat] ghc + hat