consequences of introduction of types