Given $(a_n \in \mathbb{N})$, when is there a [monad](https://en.wikipedia.org/wiki/Monad_(category_theory)) $T$ on $\mathrm{FinSet}$ such that
$$
| T(n) | = a_n\quad\forall n\in \mathbb{N}\:?
$$