Typ rodzajowy, którego parametry typu rodzajowego zostały określone. Skonstruowane typu lub metoda może być otwarte typu rodzajowego, jeśli niektóre z jego argumenty typu są parametry typ otaczający typy lub metody, lub zamknięte typu rodzajowego jeśli wszystkie swoje argumenty typu są rzeczywistym typów.