fromList :: forall n a. (Num a, Eq a, DIM n) => [(Index, a)] -> SparseVector n a
fromList ivs = SV (M.fromList $ map (checkDim' d) ivs)
   where
     d = natInt (Proxy :: Proxy n)

-- Modification ---------------------------------------------------------------
fromList :: forall n a. (Num a, Eq a, DIM n) => [(Index, a)] -> SparseVector n a
fromList ivs = SV (M.fromList $ map (checkDim' d) ivs)
   where
     d = natInt (Proxy :: Proxy n)

-- Modification ---------------------------------------------------------------
fromList ivs = SV (M.fromList $ map (checkDim' d) ivs)
   where
     d = natInt (Proxy :: Proxy n)

-- Modification ---------------------------------------------------------------