Re: [GHC] #14268: Implement Explicit Foralls Proposal