Re: [GHC] #16263: GHC accepts illegal constraint in kind