Genel türde olan genel tür parametresi belirtildi. Tür bağımsız değişkenlerinin tüm gerçek türleri ise inşa türü veya yöntem bazı tür bağımsız değişkenlerinin türleri veya yöntemleri kapsayan bir türü parametreleri ise açık bir genel tür ya da kapalı bir genel tür olabilir.