class Example {
    void run(AbstractCollectionFactory fac) {
	Collection c = fac.empty();
	c.add(3);
	c.add("hi");
    }
}