Philippe Sigaud:

> What you lose is the CT checking that can be done for multiplication or
> additions if all dimensions are exposed in the type.

If you want, you may create a second nD array struct where sizes too are CT values, plus two methods/free functions to convert between the two array types.