Darcs.Patch.Witnesses.Eq
data
EqCheck
wA wB
class
MyEq
p
isIsEq