Re: [GHC] #11811: GHC sometimes misses a CUSK