path: root/testsuite/tests/ghci/scripts/ghci059.stdout

type role Coercible representational representational
class a ~R# b => Coercible (a :: k0) (b :: k0)
  	-- Defined in ‘GHC.Types’
coerce :: Coercible a b => a -> b 	-- Defined in ‘GHC.Prim’