Darcs.Witnesses.Eq

data EqCheck

class MyEq p

isIsEq