Re: [GHC] #7057: Simplifier infinite loop regression