Re: [GHC] #13336: Improve or remove the glomming warning