-- | Convert the vector to a record of vectors. This conversion is trivial
-- since this vector type is internal represented as a structure of arrays.
toRec :: forall (k :: KProxy a) (rs :: [(a,*)]). (k ~ 'KProxy) => Vector k (Rec (TaggedFunctor Identity) rs) -> Rec (TaggedFunctor VectorVal) rs
toRec (V rs) = rs
toRec :: forall (k :: KProxy a) (rs :: [(a,*)]). (k ~ 'KProxy) => Vector k (Rec (TaggedFunctor Identity) rs) -> Rec (TaggedFunctor VectorVal) rs
toRec (V rs) = rs
toRec (V rs) = rs