Given (a_i \in N), when is there a monad T on FinSet such that

| T(i) | = a_i \forall i ?