Re: [GHC] #4945: Another SpecConstr infelicity