Re: [GHC] #4801: Typechecker performance regression 6.12 -> 7.0.1