Como consecuencia, los resultados de definición de los tipos pueden diferenciarse.