In der Regel wird die Wertvariable des Parameters der Funktion dem Kontext als ein monomorpher Typ durch die Prämisse hinzugefügt, während in der Regel die Variable die Umbegung in polymorpher Form betritt.