Why not start with a probability distribution over (the finite list of) objects of size at most N, and see what happens when N becomes large?

Because there is no defined "size N", except perhaps for nodes in the tree representation of the inductive type.