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

type role D nominal
type D :: * -> *
data Eq a => D a = C a
  	-- Defined at ghci031.hs:7:1