Re: [GHC] #11474: incorrect redundant-constraints warning