-- | /O(n)/ Left fold with strict accumulator
foldl' :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => (r -> Rec (TaggedFunctor Identity) rs -> r) -> r -> (Vector k) (Rec (TaggedFunctor Identity) rs) -> r
foldl' = G.foldl'
foldl' :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => (r -> Rec (TaggedFunctor Identity) rs -> r) -> r -> (Vector k) (Rec (TaggedFunctor Identity) rs) -> r
foldl' = G.foldl'
foldl' = G.foldl'