TypeVars (julia): Type Variables are objects associated with parameterized types
Keywords: design-pattern|type-variable