Re: [GHC] #15332: lintIdUnfolding could be simpler