W definicji typu rodzajowego, symbol zastępczy dla danego typu, że użytkownik określa (rodzajowy typ argumentu) podczas tworzenia wystąpienia typu rodzajowego lub podczas wywoływania metody rodzajowej.