Tweak documentation of monomorphism restriction

Suggested by Gabor Greif on ghc-devs