<div dir="ltr">This path was considered, but it leads to both greater short term pain and a long term state that requires more work on behalf of all users.<div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Feb 4, 2015 at 11:27 AM, malcolm.wallace <span dir="ltr"><<a href="mailto:malcolm.wallace@me.com" target="_blank">malcolm.wallace@me.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div>Perhaps this discomfort points to another possible way forward:  <em>remove</em> from the Prelude all functions that were formerly list-y, and now Foldable/Traversable.  Make it so that you <em>must</em> import Data.List if you want the List versions, or Data.Foldable if you want the generalised versions.</div><div><br></div><div>Of course, it would be a change causing a lot of breakage in existing code, but then, I have never experienced a major release of ghc that did not break existing code.</div><div><pre style="font-family:'Helvetica Neue',Helvetica,sans-serif;font-size:15px;white-space:pre-wrap;word-wrap:break-word">Regards,
    Malcolm</pre></div><div><div class="h5"><div><br>On 04 Feb, 2015,at 04:14 PM, Christopher Done <<a href="mailto:chrisdone@gmail.com" target="_blank">chrisdone@gmail.com</a>> wrote:<br><br></div><div><blockquote type="cite"><div><div><blockquote type="cite">Looking at the generalizations in Data.List I find them pretty odd now when</blockquote><blockquote type="cite">I think about it. I'd expect Data.List functions to be monomorphic to</blockquote><blockquote type="cite">lists, just like I expect functions in Data.Map to be monomorphic to maps.</blockquote><blockquote type="cite">Now there might be generalized versions of these functions in e.g. the</blockquote><blockquote type="cite">Prelude, but generalizing Data.List means that I don't even have the</blockquote><blockquote type="cite">monomorphic versions available if I want to resolve ambiguity by using</blockquote><blockquote type="cite">them*.</blockquote><span><br>Sums up my feelings exactly. Data.Map, Data.List, etc. should be<br>monomorphic. Adding generalized functions in Data.List is a little<br>baffling.<br>_______________________________________________<br>Libraries mailing list<br><a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br></span></div></div></blockquote></div></div></div></div><br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>