Re: [GHC] #16230: API Annotations: more explicit foralls fixup