Do not duplicate encodings in constructed values.