Typically this is used as the return type of a combining comparison, which combines two
values if they are deemed equal in some sense. Currently combining comparisons are used
extensively by the AVL tree package (AvlTree).