Re: [Hat] ghc + hat