Re: [GHC] #15825: Core Lint error from Explicit Foralls Proposal