Re: [GHC] #12252: k