Coercible is now exported from GHC.Types (Trac #8894)
so do not export it in GHC.Prim, and also have the pseudo-code for GHC.Prim import GHC.Types, so that haddock is happy.