[GHC] #8888: Document Coercible in user's guide