Metoda, której definicja ma symbole zastępcze, zwane parametry typu rodzajowego, dla jednego lub więcej typów używanych w ciele metody lub jako typy parametrów metody. Użytkownik określa rzeczywisty rodzaj (typ rodzajowy argumenty) parametrów typu podczas wywoływania metody rodzajowej. Należy zauważyć, że metoda nie jest ogólny, po prostu, ponieważ jest on zadeklarowany w typie rodzajowym. Metody jest rodzajowy, tylko wtedy, gdy posiada parametry typu własnych.