Expanding Data.Foldable documentation with overview prose (pre-MR feedback requested)

On Dec 20, 2020, at 8:15 PM, Viktor Dukhovni wrote:

I am asking because I am writing some expository prose for Data.Foldable, to go at the bottom of the document, structurally along the lines of what I contributed for Data.Traversable, but with a fairly different focus. The goal is draw careful distinctions between strict recursive and lazy corecursive reductions, explaining their proper usage and typical implementations.

The draft version can be seen at: https://imrryr.org/~viktor/haskell/foldable-doc/Data-Foldable.html along with a pre-formatted Data.Traversable (already merged some months back, but may not yet be easy to found in formatted form): https://imrryr.org/~viktor/haskell/foldable-doc/Data-Traversable.html Any feedback appreciated... Is this roughly ready for an MR, or are there any changes that are needed first and best discussed on the list rather than via Gitlab? -- Viktor.