Darcs.Witnesses.Eq
data
EqCheck
a b
class
MyEq
p
isIsEq