toListWithSize :: forall n a. (Num a, Eq a, DIM n) => SparseVector n a -> (Int, [(Index, a)])
toListWithSize (SV v) = (natInt (Proxy :: Proxy n), M.toList v)
toListWithSize :: forall n a. (Num a, Eq a, DIM n) => SparseVector n a -> (Int, [(Index, a)])
toListWithSize (SV v) = (natInt (Proxy :: Proxy n), M.toList v)
toListWithSize (SV v) = (natInt (Proxy :: Proxy n), M.toList v)