Esto significa que los métodos se pueden distinguir según los tipos de todos los argumentos.