don't include EquivDec because it overrides the notation <>