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