{-
Coercible is a special constraint with custom solving rules.
It is not a class.
Please see section `The Coercible constraint`
of the user's guide for details.
-}
type role Coercible representational representational
type Coercible :: forall k. k -> k -> Constraint
class Coercible a b => Coercible a b
  	-- Defined in ‘GHC.Types’
coerce :: Coercible a b => a -> b 	-- Defined in ‘GHC.Prim’