Re: [GHC] #8173: GHC uses nub