testsuite/tests/ghci/scripts/ghci059.stdout


1
2
3
4
5
6

type role Coercible representational representational
class Coercible (a :: k) (b :: k)
  	-- Defined in ‘GHC.Types’
coerce ::
  forall (k :: BOX) (a :: k) (b :: k). Coercible a b => a -> b
  	-- Defined in ‘GHC.Prim’