-- | /O(n)/ Convert the first @n@ elements of a list to a vector
--
-- @
-- fromListN n xs = 'fromList' ('take' n xs)
-- @
fromListN :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => Int -> [Rec (TaggedFunctor Identity) rs] -> (Vector k) (Rec (TaggedFunctor Identity) rs)
fromListN = G.fromListN
fromListN :: G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs)
  => Int -> [Rec (TaggedFunctor Identity) rs] -> (Vector k) (Rec (TaggedFunctor Identity) rs)
fromListN = G.fromListN
fromListN = G.fromListN