In most object-oriented programming languages that support parametric polymorphism, parameters can be constrained to be subtypes of a given type (see Subtype polymorphism and the article on Generic programming).
Στις περισσότερες αντικειμενοστραφείς γλώσσες προγραμματισμού που υποστηρίζουν παραμετρικό πολυμορφισμό, οι παράμετροι μπορούν να περιοριστούν ώστε να είναι υποτύποι κάποιου τύπου (δείτε Πολυμορφισμός υποτύπων και το άρθρο Generic programming).