(The inspiration of the problem is here.)
Suppose there are $n$ types of, say, marbles $1,\ldots,n$. How many unique $k$-tuples are there? For convenience, let $S(n,k)$ be the answer.
Ordering within a tuple doesn't matter. For example, with $k=3$ and $n=3$, we have $S(3,3)=10$: $$ (1,1,1)\\ (1,1,2),\quad(1,1,3),\\ (1,2,2),\quad(1,2,3),\quad(1,3,3),\\ (2,2,2),\quad(2,2,3),\quad(2,3,3),\quad(3,3,3). $$ (Here, $(1,1,2)$, for example, denotes a tuple consisting of two marbles of type 1 and one marble of type 2.)
Maybe we can do induction on $k$ for any fixed $n$?
This is a stars and bars problem. We can express it as the number of ways to place $k$ indistinguishable balls in $n$ buckets. For example, if $n=4$ and $k=3$ then putting $2$ ball ins bucket $1$ and 1 in bucket $4$ corresponds to the tuple $(1,1,4).$
The number of ways to do this is well-known to be $${n+k-1\choose n-1}$$