Ένας τρόπος για τον περιορισμό τους τύπους που μπορεί να καθοριστεί για μια παράμετρο γενικού τύπου. Για παράδειγμα, είδη που υποκαθιστά την παράμετρο τύπου μπορεί να περιορίζεται για να κληρονομήσει από έναν ιδιαίτερο τύπο, να εφαρμόσει μια συγκεκριμένη διασύνδεση, για να παρέχουν μια κατασκευή χωρίς παραμέτρους, και ούτω καθεξής.