data Eq a => D a = C a 	-- Defined at ghci031.hs:7:14