<p dir="ltr">Right you are. Ugh. I'll need to rethink this.</p>
<div class="gmail_quote">On Apr 27, 2016 3:19 AM,  <<a href="mailto:rf@rufflewind.com">rf@rufflewind.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Tue, Apr 26, 2016, at 15:03, David Feuer wrote:<br>
> Way back when, Shachaf Ben-Kiki suggested an efficient implementation<br>
> of `at` for Data.Map in<br>
> <a href="https://mail.haskell.org/pipermail/libraries/2013-May/019761.html" rel="noreferrer" target="_blank">https://mail.haskell.org/pipermail/libraries/2013-May/019761.html</a> but<br>
> that was never approved for inclusion.<br>
<br>
Funny thing, I just tried doing that not to long ago with `at`:<br>
<br>
<a href="https://github.com/haskell/containers/pull/192" rel="noreferrer" target="_blank">https://github.com/haskell/containers/pull/192</a><br>
<br>
In the end, the results were mixed.  It was a small optimization in some<br>
situations, and a moderate pessimization in others (esp. when the<br>
Functor becomes too complex for GHC to optimize).<br>
<br>
--<br>
RF<br>
</blockquote></div>