singleton :: (DIM n) => Index -> a -> SparseVector n a
singleton i x = SV (M.singleton i x)
singleton :: (DIM n) => Index -> a -> SparseVector n a
singleton i x = SV (M.singleton i x)
singleton i x = SV (M.singleton i x)