Curry.Syntax.InterfaceEquivalence
fixInterface
intfEquiv