-- Indexing
-- --------

-- | O(1) Indexing
(!) :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => (Vector k) (Rec (TaggedFunctor Identity) rs) -> Int -> Rec (TaggedFunctor Identity) rs
(!) = (G.!)
(!) :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => (Vector k) (Rec (TaggedFunctor Identity) rs) -> Int -> Rec (TaggedFunctor Identity) rs
(!) = (G.!)
(!) = (G.!)