Re: ghc bug?