Re: [GHC] #11320: Various API Annotations fixes