Individualy typed by an infinite number of monkeys