I am not sure what is the goal of type variables.  Could add an example?