Curry.Syntax.InterfaceEquivalence

fixInterface

intfEquiv