Qual princípio de programação garante o uso de genéricos?