Definition. Cauchy Series of Species of Types [008X]

Let be a species of types. We define the cauchy series of at as the type