Bei lambda ist in dieser Sprachebene in einer Form zulässig, die es erlaubt, eine Funktion mit einer variablen Anzahl von Paramern zu erzeugen: Alle Parameter vor dem Punkt funktionieren wie gewohnt und werden jeweils an die entsprechenden Argumente gebunden. Alle restlichen Argumente werden in eine Liste verpackt und an den Parameter nach dem Punkt gebunden.

λ ist ein anderer Name für lambda.