Re: [GHC] #11726: Document change in implicit quantification