On Sat, Sep 17, 2011 at 7:13 AM, Milan Straka <span dir="ltr">&lt;<a href="mailto:fox@ucw.cz">fox@ucw.cz</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div class="im">As mentioned, we have no consensus on whether we should provide</div>
Data.IntMap.Lazy, which would export the Data.IntMap methods without the<br>
insertWith&#39; and insertWithKey&#39;. Currently I am against it.<br></blockquote><div><br></div><div>I&#39;m in favor of exporting both the .Strict and the .Lazy versions. This is consistent with e.g. <a href="http://Control.Monad.ST">Control.Monad.ST</a>, Data.STRef, and Data.HashMap. I think it makes the choice of semantics more clear and removes the need to know which one is the default when you see an import like this:</div>

<div><br></div><div>    import Data.Map</div><div><br></div><div>Cheers,</div><div>Johan</div><div><br></div></div>