Revamped extended comment, 3/21/23: (An iceberg in a big nutshell) The initial eqn. $$T_n=1+xT_n^n$$ is eqn. 6.3 on p. 449 of "Functional composition patterns and power series reversion" by Raney (see ref 5 below also), and you comment that the solution for $n = 3$ is OEIS A001764 and for $m=-3$, a variant of A006632. Finally, I've identified this dual pair in a broader scheme in which the Fuss-Catalan (FC) number sequences and the Fuss-Narayana (FN) number sequences are embedded. The larger perspective preserves the reciprocity / duality between positive and negative indices and allows for more diverse combinatorial interpretations. The following are the first few of the set $[N^{(3)}]$ of $(3)$-noncrossing partitions / $(3)$-Narayana partition polynomials (ParPs): $N^{(3)}_0 = 1$ $N^{(3)}_1 = u_1$ $N^{(3)}_2 = 3 u_1^2 + u_2$ $N^{(3)}_3 = 12 u_1^3 + 9 u_2 u_1 + u_3$ $N^{(3)}_4 = 55 u_1^4 + 66 u_2 u_1^2 + 12 u_3 u_1 + 6 u_2^2 + u_4$. The 'diagonal', i.e., coefficients of the top order monomials, appearing as the first column in this depiction, is (1,1,3,12,55,...) = A001764. Call these the $(3)$-Fuss-Narayana numbers. The sums of the coefficients are (1,1,4,22,140,969,...) = A002293, the $(3)$-Fuss-Catalan numbers. Be aware that A001764 is also the $(2)$-FC sequence. The following are the first few of the set of $(-3)$-noncrossing partitions / $(-3)$-Narayana $[N^{(-3)}]$ ParPs: $N^{(-3)}_0 = 1$ $N^{(-3)}_1 = u_1$ $N^{(-3)}_2 = - 3 u_1^2 + u_2 $ $N^{(-3)}_3 = 15 u_1^3 - 9 u_2 u_1 + u_3$ $N^{(-3)}_4 =-91 u_1^4 + 78 u_2 u_1^2 - 12 u_3 u_1 - 6 u_2^2 + u_4$ The 'diagonal', i.e., coefficients of the top order monomials, appearing as the first column in this depiction, is (1,1,-3,15,-91,...) = signed (1,A006632). Call these the $(-3)$-Fuss-Narayana numbers. The row sums with all $u_k =1$ are (1,1,-2,7,-30,143,...) = signed (1, A006013), the $(-3)$-Fuss-Catalan numbers. There is the following duality between the $(\pm 3)$-noncrossing ParPs and the $(\pm 3)$-associahedra ParPs, a generalized face-h-polynomial identity, under substitution of one set (on the right) of ParPs into another (on the left); $$[A^{(\pm 3)}] = [N^{(\pm 3)}][R]$$ and $$[A^{(\pm 3)}][R] = [N^{(\pm 3)}],$$ where $[A^{(0)}] =[R]$ is the set of reciprocal partition polynomials that can be defined by the shifted reciprocal of an o.g.f. as $$\frac{x}{O(x)} = \frac{1}{1+u_1x +u_2 x^2 + u_3 x^3+\cdots} = \sum_{n \geq 0} R_n(u_1,...,u_n) x^n.$$ It is this duality that underlies the relation between the diagonals of $[N^{(\pm3)}]$ and the row sums of coefficients of $[A^{(\pm 3)}]$ and the converse. The $[N^{\pm 3}]$ are generated by the generalized Lagrange inversion formula (a special Lagrange-Schur-Jobotinsky identity); e.g., $N^{(3)}_4 = 55 u_1^4 + 66 u_2 u_1^2 + 12 u_3 u_1 + 6 u_2^2 + u_4$ is generated by (cut-and-paste into Wolfram Alpha online) the $3\cdot 4 =12$th derivative twelfth derivative (1/(3 \cdot 4)!) (1 + u_1x^(3 \cdot 1) + u_2x^(3 \cdot 2) + u_3x^(3 \cdot 3) + u_4x^(3 \cdot 4))^((3 \cdot 4+1)) / (3 \cdot 4+1) at x = 0, and $N^{(-3)}_4 =-91 u_1^4 + 78 u_2 u_1^2 - 12 u_3 u_1 - 6 u_2^2 + u_4$ is generated by twelfth derivative (1/(3 \cdot 4)!) (1 + u_1x^(3 \cdot 1) + u_2x^(3 \cdot 2) + u_3x^(3 \cdot 3) + u_4x^(3 \cdot 4))^((-3 \cdot 4+1)) / (-3 \cdot 4+1) at x = 0. The same applies with $-3$ exchanged for any integer $m$ to generate any $[N^{(m)} ]$. In addition $[N^{(m)}] = [N]^{m}$; that is, $[N^{(m)}]$ for $m > 0$ is generated by iterated self-substitution of $[N^{(1)}] = [N]$ into itself and likewise for $m < 0$ w.r.t. to $[N^{(-1)}] = [N]^{-1}$, or start at any $[N]^p$ and go up with $[N]$ or down with $[N]^{-1}$. There are other veiled relationships as well. The generalized Lagrange inversion formulas for generating $[A^{(m)}]$ are the same as for $[N^{(m)}]$ with a fairly obvious change of signs. The coefficients of $[N]$ and $[N]^{-1}$ are related by the iconic rising-to-falling-factorials polynomial identity $$n! \binom{-q}{n} =(-1)^n n! \binom{q-1+n}{n}.$$ See [this MO-Q][1] for explicit formulas with $NCP_n$ there being $N_n$ here and $c_n$ there, $N^{(-1)}_n$ here. Another manifestation of this reciprocity, one could say the source, depending on the starting point of derivations, is that the generalized Lagrange inversion formulas that generate both $[N^{(m)}]$ and $[A^{(m)}]$ involve binomial expansions for the same expression or its aerated variant with basically only sign changes in the exponent. Below we'll see this reflected in another characterization via dual power and Laurent series. (Combinatorial aspects with regard to tree models are discussed in Drake, see refs below.) This central reciprocity is inherited by natural reductions of the Parps to single variable polynomials via letting, e.g., $u_k = t$ for all $k$ and by the row sums of the coefficients and the diagonals. So, as the positive integers are greater than the negative integers, the refinements are 'higher' than the coarser reductions, and numerators are above denominators, in these senses, we can say "As above, so below" or with the pun "As $A_n$bove, so below" since the associahedra and noncrossing partitions are so intimately linked with the $A_n$ Weyl-Coxeter group. For any integer $m$, variants for the reduced polynomials of $[A^{(m)}]$ are the coefficients of the compositional inverse about $x=0$ of $(RTA^{(m)}(x,t))^{(-1)} = \frac{x}{(1+(1+t)x)(1+x)^{m}}$ or $(TA^{(m)}(x,t))^{(-1)} = \frac{x}{(1+(1+t)x)(1+tx)^{m}} ,$ and the generalized f-h identity implies the same for variants of the reduced $[N^{(m)}]$ $(RTN^{(m)}(x,t))^{(-1)} = \frac{x}{(1+tx)(1+x)^{m}} $ or $(TN^{(m)}(x,t))^{(-1)} = \frac{x}{(1+x)(1+tx)^{m}}.$ $[N]^{3}$ reduces to A173020. $[A^{(3)}]$ reduces to A243663. No reductions of $[N]^{-3}$ nor $[A^{(-3)}]$ are in the OEIS. These are reductions mod signs and shifts in the polynomials--just compare with the ParPs for precise relationships. The symmetry / reciprocity / duality--the interchange of $-m$ for $m$ and others--among the formulas is reflected in the series whose compositional inversions characterize $[A^{(m)}]$ and $[N^{(m)}]$: for $m$ any integer but $1$, $$O^{(m)}(z) = z \;(1 + u_1z^{m} +u_2z^{2m} + u_3z^{3m} + \cdots)$$ and $$(O^{(m)}(z))^{(-1)} = z\;(1 + A^{(m)}_1(u_1)z^{m} +A^{(m)}_2(u_1,u_2)z^{2m} + A^{(m)}_3(u_1,u_2,u_3)z^{3m} + \cdots)$$ $$ =z\;(1 + N^{(m)}_1(R_1(u_1))z^{m} +N^{(m)}_2(R_1(u_1),R_2(u_1,u_2))z^{2m} + \cdots).$$ This implies that the $[A^{(m)}]$ for $m > 1$ are 're-indexed samplings' of the components of $[A]$ (i.e., with components periodically zeroed out) and likewise for $[A^{(m)}]$ for $m < 1$ w.r.t. $[A^{(-1)}]$. The same applies for $[N^{(m)}]$. __________ __________ The following papers are pertinent; 1) "Generalized Noncrossing Partitions and Combinatorics of Coxeter Groups" by Armstrong: Geometric interpretations of his 'positive' Catalan numbers. 2) "On the enumeration of positive cells in generalized cluster complexes and Catalan hyperplane arrangements" by Athanasiadis and Tzanaki: The coefficients of the reduced polynomials for any integer $m$ are gleaned from the formulas on page 15 and they give some geometric interpretations for the coefficients of the reduced polynomials. 3) "On the inversion of Riordan arrays" by Barry: Versions of reduced $[A^{(p)}]$ from $p=-2$ (his $m = -1$) to $p =3$ on p. 23 in the last column of the table. 4) "An inversion theorem for labeled trees and some limits of areas under lattice paths" by Drake: Section 1.10 Numerator polynomials beginning on p. 58 has discussion of combinatorial reciprocity and tree models. 5) "Some relatives of the Catalan sequence" by Liszewska and Młotkowski: The 'Fuss number sequences' on pg. 19 is a list of the $(-|m|)$-Fuss-Narayana numbers beginning with $m=1$, A000108, A006013, A006632, whose o.g.f.s satisfy $zB(z) =\frac{z}{(1-zB(z))^{p-1}}.$ 6) "Refined Lattice Path Enumeration and Combinatorial Reciprocity" by Muhle and Tzanaki: Geometric interpretations. 7) "Hopf Algebras of m-permutations, (m+1)-ary trees, and m-parking functions" by Novelli and Thibon: Fig. 13 on p. 46 is a list of $FC$ sequences, beginning with $m=1$, A000108, A001764, A002293. Page 43 has variants of the reduced triangles for $[N]$, $[N]^2$ and $[N]^3$. Combinatorial interpretations for $m$ positive. 8) "Noncommutative Symmetric Functions and Lagrange Inversion II: Noncrossing partitions and the Farahat-Higman algebra" by Novelli and Thibon: Combinatorial interpretations for $m > 0$, but also $[N^{(-1}]$. Another refinement with noncommutative indeterminates. [1]: https://mathoverflow.net/questions/412573/combinatorics-for-the-action-of-virasoro-kac-schwarz-operators-partition-poly