usando Implicación de Tipos