-- | O(1) Safe indexing
(!?) :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => (Vector k) (Rec (TaggedFunctor Identity) rs) -> Int -> Maybe (Rec (TaggedFunctor Identity) rs)
(!?) = (G.!?)
(!?) :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => (Vector k) (Rec (TaggedFunctor Identity) rs) -> Int -> Maybe (Rec (TaggedFunctor Identity) rs)
(!?) = (G.!?)
(!?) = (G.!?)