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

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