Obecný typ jejichž obecný typ parametry byly specifikovány. Typ konstrukce nebo metoda může být otevřený obecného typu, je-li některé z jeho argumenty typu typ parametrů ohraničujících typů nebo metody nebo uzavřené obecný typ Pokud jsou všechny argumenty typu skutečné typy.