-- | /O(n)/ Copy an immutable vector into a mutable one. The two vectors must
-- have the same length.
copy :: (PrimMonad m, G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs))
     => G.Mutable (Vector k) (PrimState m) (Rec (TaggedFunctor Identity) rs) -> (Vector k) (Rec (TaggedFunctor Identity) rs) -> m ()
copy = G.copy
copy :: (PrimMonad m, G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs))
     => G.Mutable (Vector k) (PrimState m) (Rec (TaggedFunctor Identity) rs) -> (Vector k) (Rec (TaggedFunctor Identity) rs) -> m ()
copy = G.copy
copy = G.copy