Re: [GHC] #13114: UniqSet definition seems shady