Data.List overview and/or additional prose on Lists vs. Foldable in Foldable notes?
Summary
The overview prose for Data.Foldable focuses on general foldable structures, and does not spend much time discussing the special case of List, as e.g. described in Hutton.
Some users are specifically interested in the List use-case, and especially now with Data.List moving to be qualified import module, more of its functions can become monomorphic, rather than re-exports from Data.Foldable, and this may be a good time for either a broader overview of Lists to be written, or perhaps just an exposition of lists vs. Foldable, either in Data.List or the Notes or a new section of Data.Foldable documentation.
See motivating comments in !6555 (closed)
Proposed improvements or changes
Write overview for Data.List or expand overview of Data.Foldable with additional list-specific content.