Re: [GHC] #13681: Remove deprecated ForceSpecConstr