Hallo Cuchulainn,
bei einem Parameter mit einer Definition bekommst Du Probleme mit der "Typenidentität". Sieh mal in
in diesen Thread, vielleicht hilft das bei der Fragestellung weiter?
Für Dein Problem sollte die Typidentität aber keine Rolle spielen, weil die jeweiligen Sets (zumindest bei konstanten Werten) zuweisungskompatibel sein sollten. Wenn Du Dein konkretes Problem etwas genauer darstellen könntest, ist es vielleicht möglich, eine geeignete Lösung zu finden...