En el futuro, cuando digamos que dos o más estructuras tienen el mismo tipo, supondremos que las operaciones de una se han permutado de manera que ambas tienen el mismo tipo; es decir que operaciones situadas en la misma posición en la lista de parámetros tienen igual aridad.