Re: [GHC] #12157: Warning priorities (or: report hole warnings first)