Keep type information consistent