This was written above, but I'm not sure I understand it: $$\wedge \dashv \to.$$ Don't both of these have type \$$A \times A \to A\$$? How can they be adjoint if they're going in the same direction?