Re: Efficent lens operation for Data.Map et al.

On Tue, Jan 17, 2012 at 11:22 AM, wrote:

In fact, every other Map update operation should be derivable from the lens function.

We tried this an performance was terrible (although we used a zipper.) -- Johan