Function write_network 

fn write_network<T: ConsumeEffectCodec>(
    value: &dyn ErasedConsumeEffect,
    writer: &mut Vec<u8>,
) -> Result<()>