Document that Bifunctor instances for tuples are lawful only up to laziness

Fixes #22568 (closed).

changed milestone to %9.6.1

added documentation + 1 deleted label

requested review from @Kleidukos

approved this merge request

assigned to @marge-bot

I will attempt to batch this MR (!9513 (closed))...

Merged in bfd7c1e6

closed

mentioned in issue #22568 (closed)

mentioned in merge request !11536 (merged)

mentioned in commit 7b29c39c

mentioned in commit 0aa3a4f1

mentioned in commit b7182c62

mentioned in commit e3c8f19b

mentioned in commit 30baac7a