Got the result types I wanted when mapping into EquaSets with overloading into just in SortedEquaSets.