[Follow-up !6555] Adapt the Foldable laws explanation to the context of documentation
After !6555 (closed) is merged, the explanation of the laws needs to be made smoother. I would like to explore getting rid of Endo
and Dual
newtypes, and changing the narration style a bit.