FiniteMap: modifyFM

[Johannes Waldmann]

> ... and if I had my way we would remove all the 'FM' suffices too.

yes yes yes yes. 

both  `FiniteMap.empty'  and  `empty :: FiniteMap Foo Bar' 
look infinitely better than `emptyFM'.

oops, the second example doesn't actually work
(if another `empty' is in scope)
since we don't have static overloading.

best regards,
-- 
-- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ --
-- joe@informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/252 --