Define GHC.Types.Coercible
This data type is required so that Coercible (which is actually a class and is exported from GHC.Prim) has a info table etc., similar to ~