[andreaferretti]

For an example of a similar technique in Nim: https://github.com/unicredit/linear-algebra/

If I understand correctly the author remark about the lack of Rust support for value parameters, it seems that it should be equivalent to the Nim feature (static[int]) that has allowed me to write type-checked matrix operations there