Skonstruowane typu rodzajowego, w której jeden lub więcej argumentów typu rodzajowego zastąpić jego parametrów typu rodzajowego jest parametrem typu załączając typu rodzajowego lub metoda. Nie można utworzyć wystąpienia otwarte typy rodzajowe.