Curry.FlatCurry.InterfaceEquivalence
eqInterface