Polymorphic comments.

Why is this commented out? It seems like it ought to be doing something useful.