The definition of a generic type, in which type parameters act as placeholders for types that the user supplies when creating instances to use. These instances are not instances of the generic type definition, but of the constructed type formed by specifying type arguments.