DiscreteMap was originally intended as a type class that unifies Map and Array. One should be able to simply choose between - Map for sparse arrays - Array for full arrays.

However, the Edison package provides the class AssocX which already exists for that purpose.

Currently I use this module for some numeric instances of Data.Map.