-- | /O(1)/ Yield all but the first element without copying. The vector may not
-- be empty but this is not checked.
unsafeTail :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => (Vector k) (Rec (TaggedFunctor Identity) rs) -> (Vector k) (Rec (TaggedFunctor Identity) rs)
unsafeTail = G.unsafeTail
unsafeTail :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => (Vector k) (Rec (TaggedFunctor Identity) rs) -> (Vector k) (Rec (TaggedFunctor Identity) rs)
unsafeTail = G.unsafeTail
unsafeTail = G.unsafeTail