Re: [GHC] #14162: Core Lint error