Is this correct? Shouldn't it be `{update, map_field(), embedded_type_op()}`?