> I think "enum preconditions" are exactly that :-) But I don't Great! :) This can also be used to specialize construction of linear algebra types such as vectors, matrices etc to use stack-allocated value (simd) types when dimensions are fixed and small.