Re: [GHC] #13365: Notify user when adding a CUSK might help fix a type error (was: Kind-inference for poly-kinded GADTs)