Re: [GHC] #13867: Silly definitions remain after SpecConstr