For a tracial $*$-probability space $(\mathcal{A}, \varphi)$, C\'{e}bron, Dahlqvist, and Male constructed an enveloping traffic space $(\mathcal{G}(\mathcal{A}), \tau_\varphi)$ that extends the trace $\varphi$. The CDM construction provides a universal object that allows one to appeal to the traffic probability framework in generic situations, prioritizing an understanding of its structure. We show that $(\mathcal{G}(\mathcal{A}), \tau_\varphi)$ comes equipped with a canonical free product structure, regardless of the choice of $*$-probability space $(\mathcal{A}, \varphi)$. If $(\mathcal{A}, \varphi)$ is itself a free product, then we show how this additional structure lifts into $(\mathcal{G}(\mathcal{A}), \tau_\varphi)$. Here, we find a duality between classical independence and free independence. We apply our results to study the asymptotics of large (possibly dependent) random matrices, generalizing and providing a unifying framework for results of Bryc, Dembo, and Jiang and of Mingo and Popa. This is joint work with Camille Male.