The possibility for a language to provided parameterised modules or types. E.g. List(of:Integer) or List(of:People).