How can I express the abstract type of a multi-parameter type that only matches the second parameter

As you discovered, supplying type parameters generally works from left to right.

To work around that, the general syntax applied to your example is

VS_Data{DIM,2} where DIM
1 Like