In the context I am thinking about, writing a generic iterator, you have 0 context of the what the concrete types will ever be.