\begin{circuslaw}{distr-var-par}
\begin{circusaction*}
  \circvar x : T \circspot (A_1 \lpar \dots \rpar A_2) ~ \equiv ~ (\circvar x : T \circspot A_1) \lpar \dots \rpar (\circvar x : T \circspot A_2)
\end{circusaction*}
\end{circuslaw}
