סוג כללי פרמטר סוג כללי אשר צוינו. סוג מתוכננת או שיטה ניתן מסוג גנרי פתוחה אם חלק הארגומנטים סוג פרמטר סוג של צירוף סוגי או שיטות, או של סוג כללי סגור אם כל הארגומנטים סוג הם סוגי אמיתי.