create :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => (forall s. ST s (G.Mutable (Vector k) s (Rec (TaggedFunctor Identity) rs))) -> (Vector k) (Rec (TaggedFunctor Identity) rs)
-- NOTE: eta-expanded due to http://hackage.haskell.org/trac/ghc/ticket/4120
create p = G.create p
create :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => (forall s. ST s (G.Mutable (Vector k) s (Rec (TaggedFunctor Identity) rs))) -> (Vector k) (Rec (TaggedFunctor Identity) rs)
create p = G.create p
create p = G.create p