State of DData

[Christian Maeder]

JP Bernardy wrote:
> In the same vein, I've renamed MultiSet to Bag; being
> synonyms, I favoured the most usual name.

good, having looked at it, I'm missing a map (and mapMonotonic) function 
  for bags and maybe "subset" should be renamed to "subbag"?

> To me, this barely makes a difference whatever is
> chosen. For reasons of compatibility with the old
> FiniteMap/Set, "right bias+structure first" might be
> better.

I vote for the current state "left bias+structure last", as the bias 
should not matter much and a repeated lookup can be done using the 
section notation: (`Map.lookup` m)

For folding "structure last" is to be preferred as even the type of 
FiniteMap.foldFM suggest! Thus e.g..insert should be like in DData.Map 
and not like addToFM in Data.FiniteMap.

Christian