<div dir="ltr">Deriving in that way is more of a question of which breaks more code, I think. Or avoiding breaking code vs. purity arguments, which worry me at least somewhat less because that horse left the stable with Haskell 98 twisting Monad out of shape (granting we're trying to fix at least part of it now), if not earlier. And, well, it's a computer language. "Proper purity" not gonna happen in general, unless the result is a useless toy. But Haskell strives to be usable.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jul 30, 2019 at 3:31 PM Olaf Klinke <<a href="mailto:olf@aatal-apotheke.de">olf@aatal-apotheke.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Isn't the Eq vs Ord problem similar to all sub-classes, e.g. <br>
Applicative vs. Monad, Semigroup vs. Monoid, Foldable vs. Traversable? <br>
What is the recommended way of coding? The Traversable module for example <br>
has default implementations of fmap and foldMap, as Functor and Foldable <br>
are superclasses. This suggests it is okay to define the subclass method <br>
first and derive the superclass methods from them. But arguments have been <br>
put up against this practice in particular cases, e.g. for AMP [1].<br>
<br>
Olaf<br>
<br>
[1] <a href="https://mail.haskell.org/pipermail/haskell-cafe/2019-July/131259.html" rel="noreferrer" target="_blank">https://mail.haskell.org/pipermail/haskell-cafe/2019-July/131259.html</a><br>
<br>
<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>brandon s allbery kf8nh</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a></div></div></div></div></div>