Names for general merge tactics in Data.Map

Fri Aug 19 05:23:51 UTC 2016

On 2016-08-19 07:14, David Feuer wrote:
> Consider them severed. I'm most interested in getting generalMerge
> settled. I can leave the question of what to do with mergeWithKey alone
> for a while.
> 

FWIW, I'm +1 on both. (But with some long deprecation period for
mergeWithKey. If the whole AMP/FTP thing taught us anything it's that
some people do want/need quite long deprecation periods.)

Regards,