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.
Because there is no defined “size N”, except perhaps for nodes in the tree representation of the inductive type.