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