Re: [GHC] #9927: Should simplifier try more iterations?