change in type and type instance