Rust supports [const generics](https://practice.course.rs/generics-traits/const-generics.html), which should be easy to add to the Lean Backend.
