Do you really need a typed schema for transmission if you have types on the serialization and deserialization ends? I'm thinking of something like Rust's serde

Do you really need a typed schema for transmission if you have types on the serialization and deserialization ends? I'm thinking of something like Rust's serde that derives (de)serialization logic just from the type, so it can't serialize bad data and won't deserialize bad data.