<div dir="auto"><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Aug 12, 2019, 12:53 PM Andrew Lelechenko <<a href="mailto:andrew.lelechenko@gmail.com">andrew.lelechenko@gmail.com</a>> wrote:</div></div></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space"><div>Adding singleton to Data.List is a breaking change, when Data.Map.singleton was exported unqualified. </div></div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Data.Map's documentation states that the entire module should be imported qualified; this is not a reasonable counterargument.</div><div dir="auto"><br></div><div dir="auto">RIO even takes the potentially-conflicting List functions out of Prelude, and puts them in a RIO.List module which is also intended for qualified import.</div><div dir="auto"><br></div><div dir="auto">I'm +1. Personally I prefer `pure` and have TypeApplication enabled globally; but that's not a universal style, and I see no real cost here (though I agree it shouldn't be exposed in Prelude).</div><div dir="auto"><br></div><div dir="auto">NonEmpty should get one too.</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>