Darcs.Witnesses.Eq
data
EqCheck
class
MyEq
p
isIsEq