Graham Klyne
I'd like to propose an addition to the FiniteMap module in the form of a monadic version of plusFM_C. The proposed implementation is pretty much a copy of the existing implementation within a do block.
While we're at it, would it be possible (and advantageous?) to add (Hal Daume III's?) strict versions of addToFM* and friends? In general I think there is little to be saved by delaying the evaluation of the finite map, and it seems laziness sometimes incurs an overhead. Also (I think I've brought this up before), finite maps seem to be less than optimal for sequences as keys (e.g. strings), has anybody experiemented with a trie or a trie/balanced tree combination? Any libraries available? -kzm -- If I haven't seen further, it is by standing in the footprints of giants