Given $(a_i \in N)$, when is there a monad $T$ on $\mathrm{FinSet}$ such that
$$
| T(i) | = a_i\quad\forall i\:?
$$