Re: [GHC] #8658: Document Proxy#