Re: ghc bugs