export function getEquivalence( EE: Equivalence, EA: Equivalence ): Equivalence> { return Equivalence((x, y) => x === y || (x.isLeft() ? y.isLeft() && EE.equals(x.left, y.left) : y.isRight() && EA.equals(x.right, y.right)) ) }