type-stability