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