Re: A possible bug in ghc documentation