This doesn't seem to be necessary at the moment, because we adjust whole containers to fix the element type. But in some cases it could be necessary.