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