Re: [GHC] #8133: T7881 fails with hpc