Precursor.Algebra.Eq
class
Eq
a
(==)
(/=)