Lorsque des fonctions polymorphes sont mises dans une classes ont voudrait en faire des méthodes polymorphes. Mais ce n'est pas possibles car les objets ne sont jamais polymorphes (comme des références, ils contiennent des champs mutables), et leurs méthodes non plus.

Au mieux on pourrait définir une classe paramétrique (par exemple des opérations sur les listes), mais ils faudra spécialiser celles-ci complétement à la création d'un objet. C'est une limitation forte à l'usage des classes pour regrouper des fonctions de librairie.