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

type role Equal nominal nominal
data Equal a b where
  Equal :: Equal b b
  	-- Defined at T4087.hs:5:1