Data.Setoid.Equivalence

class EquivalenceBy e a