The generic-array and typenum crates solve this at the type level. nalgebra uses typenum to encode dimensions at the type level, not in memory/at runtime (unles

The generic-array and typenum crates solve this at the type level. nalgebra uses typenum to encode dimensions at the type level, not in memory/at runtime (unless you opt-in with the `Dynamic` marker type). RFC 2000 will ease this, but it's not impossible to do at present.