-- | /O(n)/ Convert a list to a vector
fromList :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => [Rec (TaggedFunctor Identity) rs] -> (Vector k) (Rec (TaggedFunctor Identity) rs)
fromList = G.fromList
fromList :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => [Rec (TaggedFunctor Identity) rs] -> (Vector k) (Rec (TaggedFunctor Identity) rs)
fromList = G.fromList
fromList = G.fromList