Re: [GHC] #8767: Add rules involving `coerce` to the libraries