-- | /O(n)/ Construct a vector of the given length by applying the function to
-- each index
generate :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => Int -> (Int -> Rec (TaggedFunctor Identity) rs) -> (Vector k) (Rec (TaggedFunctor Identity) rs)
generate = G.generate
generate :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => Int -> (Int -> Rec (TaggedFunctor Identity) rs) -> (Vector k) (Rec (TaggedFunctor Identity) rs)
generate = G.generate
generate = G.generate