Re: [GHC] #4426: Simplify the rules for implicit quantification