No need for GHC.Coercible any more

but we still need a type constructor somewhere, so we have
GHC.Types.Coercible.