„Standard ML ''typt'' die obige Deklaration jedoch monomorph. Da aus der Deklaration selbst aber kein eindeutiger Typ für f bestimmt werden kann, stellt der Interpreter den Typ von f mithilfe einer freien Typvariable dar.“<ref>{{Internetquelle|url=https://books.google.se/books?id=uj7pBQAAQBAJ&pg=PA60|titel=Programmierung - eine Einführung in die Informatik mit Standard ML, Gert Smolka|zugriff=2019-08-20}}</ref>
die Art der [[Ausfertigung]]/[[Spezifizierung]] (den [[Typ]]) [[bestimmen]]