ההגדרה של סוג כללי, בסוג אילו פרמטרים פועלים כמצייני מיקום עבור סוגי שמספק המשתמש בעת יצירת מופעים להשתמש. מקרים אלה אינם מופעים של הגדרת סוג כללי, אבל מהסוג שלא נבנה הנוצרת על-ידי ציון סוג הארגומנטים.