φx . ψy
Sagen wir ich wollte eine Funktion von 3 unter einander unauswechselbaren Argumenten darstellen.