-- Initialisation
-- --------------

-- | /O(1)/ Empty vector
empty :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => (Vector k) (Rec (TaggedFunctor Identity) rs)
empty = G.empty
empty :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => (Vector k) (Rec (TaggedFunctor Identity) rs)
empty = G.empty
empty = G.empty