pub fn encode_embedded<D: Domain>(v: &ArcValue<Arc<D>>) -> IOValue where for<'a> IOValue: From<&'a D>,