Re: [GHC] #11379: Solver hits iteration limit in code without recursive constraints (was: New superclass solver fails to compile)