Bifoldable Laws with non-commutative types

[bpholt]

I noticed that the existing bifoldable laws for Binested fail if you use Tuple2 instead of Either as the two-slot type constructor, and a non-commutative monoid for the innermost types. e.g. adding

checkAll(
  "Binested[Tuple2, ListWrapper, ListWrapper, *, *]",
  BitraverseTests[Binested[Tuple2, ListWrapper, ListWrapper, *, *]]
    .bitraverse[Option, Int, Int, String, String, String, String]
)

fails cats.tests.BinestedSuite.Binested[Tuple2, ListWrapper, ListWrapper, *, *]: bitraverse.bifoldRight consistent with bifoldMap, vs the existing one, which passes:

cats/tests/shared/src/test/scala/cats/tests/BinestedSuite.scala

Lines 86 to 90 in b036fb4

	checkAll(
	"Binested[Either, ListWrapper, ListWrapper, *, *]",
	BitraverseTests[Binested[Either, ListWrapper, ListWrapper, *, *]]
	.bitraverse[Option, Int, Int, Int, String, String, String]
	)

Assuming the implementation is correct and the failure hasn't revealed a bug, it makes me wonder if there's a way to encode this in the types. Should the C: Monoid on BitraverseTests.bitraverse be C: CommutativeMonoid so that the law is more universal? If so, how far up the chain should that propagate? Ultimately it's used in BifoldableLaws.bifoldLeftConsistentWithBifoldMap and BifoldableLaws.bifoldRightConsistentWithBifoldMap.