-- Length
-- ------

-- | /O(1)/ Yield the length of the vector.
length :: forall (r :: (a,*)) (k :: KProxy a) rs. G.Vector VectorVal (Snd r) => (Vector k) (Rec (TaggedFunctor Identity) (r ': rs)) -> Int
length (V (TaggedFunctor r :& _)) = G.length r
length :: forall (r :: (a,*)) (k :: KProxy a) rs. G.Vector VectorVal (Snd r) => (Vector k) (Rec (TaggedFunctor Identity) (r ': rs)) -> Int
length (V (TaggedFunctor r :& _)) = G.length r
length (V (TaggedFunctor r :& _)) = G.length r