-- | /O(1)/ Test whether a vector if empty
null :: forall (r :: (a,*)) (k :: KProxy a) rs. G.Vector VectorVal (Snd r) => (Vector k) (Rec (TaggedFunctor Identity) (r ': rs)) -> Bool
null (V (TaggedFunctor r :& _)) = G.null r
null :: forall (r :: (a,*)) (k :: KProxy a) rs. G.Vector VectorVal (Snd r) => (Vector k) (Rec (TaggedFunctor Identity) (r ': rs)) -> Bool
null (V (TaggedFunctor r :& _)) = G.null r
null (V (TaggedFunctor r :& _)) = G.null r