Luego, dos estructuras son comparables, cuando, después de una permutación de la lista de parámetros de una de ellas, tienen el mismo tipo.