"Generic associated types," sometimes called "associated type constructors."

If you want/need more than that, I can explain more, but that at least gives you the full name.