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.