Re: [GHC] #15779: Follow-ups to D5169