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