Re: [GHC] #5835: Make better use of known dictionaries