Re: [GHC] #13365: Notify user when adding a CUSK might help fix a type error