-- | /O(n)/ (Vector k) of the given length with the same value in each position
replicate :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => Int -> Rec (TaggedFunctor Identity) rs -> (Vector k) (Rec (TaggedFunctor Identity) rs)
replicate = G.replicate
replicate :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => Int -> Rec (TaggedFunctor Identity) rs -> (Vector k) (Rec (TaggedFunctor Identity) rs)
replicate = G.replicate
replicate = G.replicate