Document implicit quantification better
Document implicit quantification better

Addresses Trac #11726

sgillespie/ghc,sdiehl/ghc,ezyang/ghc,mettekou/ghc,shlevy/ghc,olsner/ghc,ezyang/ghc,snoyberg/ghc,ezyang/ghc,olsner/ghc,mettekou/ghc,olsner/ghc,vikraman/ghc,ezyang/ghc,sdiehl/ghc,sdiehl/ghc,mettekou/ghc,snoyberg/ghc,vTurbine/ghc,snoyberg/ghc,vTurbine/ghc,olsner/ghc,sgillespie/ghc,sdiehl/ghc,mettekou/ghc,tjakway/ghcjvm,mettekou/ghc,shlevy/ghc,olsner/ghc,olsner/ghc,vTurbine/ghc,snoyberg/ghc,sgillespie/ghc,shlevy/ghc,vikraman/ghc,shlevy/ghc,vTurbine/ghc,snoyberg/ghc,tjakway/ghcjvm,shlevy/ghc,ezyang/ghc,sdiehl/ghc,snoyberg/ghc,mettekou/ghc,vikraman/ghc,vikraman/ghc,shlevy/ghc,sgillespie/ghc,sdiehl/ghc,shlevy/ghc,sgillespie/ghc,snoyberg/ghc,vikraman/ghc,tjakway/ghcjvm,sgillespie/ghc,vTurbine/ghc,vTurbine/ghc,sdiehl/ghc,ezyang/ghc,olsner/ghc,sgillespie/ghc,tjakway/ghcjvm,vikraman/ghc,vikraman/ghc,ezyang/ghc,tjakway/ghcjvm,tjakway/ghcjvm,tjakway/ghcjvm,mettekou/ghc,vTurbine/ghc