Remove Foldable from Traversable (was Haskell Foldable Wats)

[Augustsson, Lennart]

I had to add a couple of Foldable to contexts, and some other minor changes.  They were so simple that I don't recall what they were anymore.

-----Original Message-----
From: Libraries [mailto:libraries-bounces at haskell.org] On Behalf Of Jeremy
Sent: 25 February 2016 08:29
To: libraries at haskell.org
Subject: Remove Foldable from Traversable (was Haskell Foldable Wats)

Several suggestions have been made in this thread. The one with the highest cost-to-benefit ratio would seem to be removing the Foldable constraint from Traversable, as it is simply not required by the Traversable definition.
Lennart actually tried recompiling base with this "and it hardly needed any changes".

I suggest that we consider this change first, as it brings the benefit of allowing Traversable types without having to define possibly nonsensical Foldable instances, and according to Lennart's experiment, has trivial impact.

Lennart, what changes did you have to make? Anybody care to recompile their pet project with this change and see if there's any significant impact?



--
View this message in context: http://haskell.1045720.n5.nabble.com/Proposal-Add-conspicuously-missing-Functor-instances-for-tuples-tp5827530p5831008.html
Sent from the Haskell - Libraries mailing list archive at Nabble.com.
_______________________________________________
Libraries mailing list
Libraries at haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

This email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please delete all copies and notify the sender immediately. You may wish to refer to the incorporation details of Standard Chartered PLC, Standard Chartered Bank and their subsidiaries at http://www.standardchartered.com/en/incorporation-details.html

Insofar as this communication contains any market commentary, the market commentary has been prepared by sales and/or trading desk of Standard Chartered Bank or its affiliate. It is not and does not constitute research material, independent research, recommendation or financial advice. Any market commentary is for information purpose only and shall not be relied for any other purpose, and is subject to the relevant disclaimers available at http://wholesalebanking.standardchartered.com/en/utility/Pages/d-mkt.aspx

Insofar as this e-mail contains the term sheet for a proposed transaction, by responding affirmatively to this e-mail, you agree that you have understood the terms and conditions in the attached term sheet and evaluated the merits and risks of the transaction. We may at times also request you to sign on the term sheet to acknowledge in respect of the same.

Please visit http://wholesalebanking.standardchartered.com/en/capabilities/financialmarkets/Pages/doddfrankdisclosures.aspx for important information with respect to derivative products.