type a = StaticVec; type a = V<1, 2>;