`[cadence_value]` should be `[*cadence_value]`, representing array of zero or more encoded Cadence simple values.