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.