But there are some crates like https://crates.io/crates/typenum https://crates.io/crates/typenum that implement type-level integers on top of the Rust type syst

But there are some crates like https://crates.io/crates/typenum https://crates.io/crates/typenum that implement type-level integers on top of the Rust type system, and quite a few other crates that then use these for things like array operations...