I was asked to materialize an object and a family of associated objects based on some type token Token<X>; I can do so without ever knowing what X is, and yet still want to declaratively state that all the associated objects share the same bound type of X.