Re: [GHC] #855: Improvements to SpecConstr