A possible bug in ghc documentation