Coercible lives in GHC.Prim