For a grammar $𝐴$, the Kleene star ${𝐴}^{\ast }$ is isomorphic to an indexed coproduct.

That is, we may view the parses of ${𝐴}^{\ast }$ like a linear list comprising parses of $𝐴$ concatenated together. Further, for each of these lists we may know the precise length.

When viewing Dependent Lambek Calculus as a model of Kleene algebra, this is precisely the statement that star continuity holds.