Suppose that $X$ and $Y$ are two categories. Let $\operatorname{Funny}(X,Y)$ denote the category whose objects are functors $X\to Y$ and whose morphisms are *unnatural transformations* $F\to G$, where an unnatural transformation $F\to G$ is given by an $\operatorname{Ob}(X)$-indexed family of arrows $\gamma_x:F(x)\to G(x)$, and that's it.

It is easy to see that its left adjoint gives a symmetric monoidal closed structure with unit object the terminal category. We call this monoidal product the funny tensor product and denote it by $\Box$.

What I'd like to know is if the funny tensor product satisfies any algebraic "laws" with the ordinary cartesian product, by which I mean, if we have some kind of sequence of tensor products and cartesian products together with parentheses, for example, something like the sequence $$(((A\Box B)\times C)\Box D)\times E,$$ there is a way to either rearrange the parentheses or rewrite the expression with fewer or no parentheses.

For instance, we can think of distributivity as an algebraic "law" between two operations. We can see associativity as an algebraic "law" between an operation and itself. However, I have never seen a nontrivial "law" between two associative operations having the same unit. Is there an extended form of the Eckmann-Hilton argument which shows that no nontrivial relationship of this type can ever be satisfied unless the two operations are equal (given that they are both associative and share a unit)?