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