-- | /O(1)/ Yield all but the first @n@ elements without copying. The vector
-- must contain at least @n@ elements but this is not checked.
unsafeDrop :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => Int -> (Vector k) (Rec (TaggedFunctor Identity) rs) -> (Vector k) (Rec (TaggedFunctor Identity) rs)
unsafeDrop = G.unsafeDrop
unsafeDrop :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => Int -> (Vector k) (Rec (TaggedFunctor Identity) rs) -> (Vector k) (Rec (TaggedFunctor Identity) rs)
unsafeDrop = G.unsafeDrop
unsafeDrop = G.unsafeDrop