nem ennyira értem, hogy mit nem értesz: ha talál egy függvényt, aminek bementő paramétere X<T> típusú, míg neked Y<T>-d van, és nincs automatikusa konverzió X és Y között (még ha a T template típus azonos is), akkor nem tud mit tenni.