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