Re: [GHC] #8718: Add role annotations to base