type a = StaticVec<T,  { N }>
type a = V<1, 2>