That generics would allow for better Type-safety is only true if one compares it to using empty interfaces (or some other type less thing). But it would actual

That generics would allow for better Type-safety is only true if one compares it to using empty interfaces (or some other type less thing). But it would actually lead to less accurate Type-safety than if one had a different sort method for each sortable type, it would lead to some amount of "duplicated" code but that is a different matter than Type-Safty.