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