#16703: Update Traversable.hs docs with a note about an intuitive law

Thank you for your contribution to GHC!

Please take a few moments to verify that your commits fulfill the following:

• are either individually buildable or squashed I'm relying on CI because the web UI editor was used.
• have commit messages which describe what they do (referring to Notes and tickets using #NNNN syntax when appropriate)
• have added source comments describing your change. For larger changes you likely should add a Note and cross-reference it from the relevant places.
• [N/A] add a testcase to the testsuite.
• [N/A] if your MR affects library interfaces (e.g. changes base) please add the ~"user facing" label.

If you have any questions don't hesitate to open your merge request and inquire in a comment. If your patch isn't quite done yet please do add prefix your MR title with WIP:.