I think this is a legit sort of reasoning, but in an interesting way it's something where OCaml could fill the gap. It has its ergonomics issues, but I think the issues are basically the same/worse in Rust (except I guess Rust's macro system is better).

I say this as a Rust enjoyer, but I take the pain because I _really_ want what I'm working on to be fast.