Re: [GHC] #10109: Kinds aren't checked in the coverage condition