formula_121 forzará a que todos los tipos se reduzcan al más sencillo.