Expand documentation for Data.List, mostly wrt infinite lists
This is mostly to tackle #22271 (closed) and #20783 (closed), but I took a liberty to elaborate on several other topics as well.
This is mostly to tackle #22271 (closed) and #20783 (closed), but I took a liberty to elaborate on several other topics as well.