Esto significa que es posible establecer una correspondencia entre dos tipos que a priori parecen distintos.