<div dir="ltr">The argument that people should define custom data types rather than using triples doesn't have any bearing on whether triples should implement these type classes. That argument would imply that whether the type classes are implemented doesn't matter, because if you're complaining about getting unexpected results the response is "use a custom data type", and similarly if you're complaining about the lack of a type class instance the response is "use a custom data type". So, even though it's true that people generally should use custom data types instead of triples, it's irrelevant to the discussion.<br><br>+1 on the proposal. Consistency is good.</div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Mar 30, 2017 at 11:30 AM, Henning Thielemann <span dir="ltr"><<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
On Thu, 23 Mar 2017, Fumiaki Kinoshita wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
It's surprising that they are missing (forgive me, I'm not here to make people grumpy).<br>
</blockquote>
<br></span>
I am not surprised because it was discussed at length a year before. I still think all these instances on pairs, triples and other tuples are more dangerous than helpful. It is so easy and much more expressive to define custom data types for your particular application. Actually, I am still actively using only GHC up to GHC-7.8.4, because starting with GHC-7.10.3 the slogan "if it can be compiled, it is certainly correct" cannot be reasonably claimed anymore (length(a,b)==1, maximum(2,1)==1 etc. are just not sane). And it seems that adding damage to the libraries is done at a much faster pace than adding compiler features to make them less dangerous (like user-configurable warnings about dangerous instances).<div class="HOEnZb"><div class="h5"><br>
______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>