Darcs.Patch.Witnesses.Eq

data EqCheck wA wB

class MyEq p

isIsEq