Mehrstellige Funktionen

drop 3 "foobar" = "bar"
drop :: Int -> [a] -> [a]

Wenn f : : A₁$\to$A₂$\to$...A_k$\to$B,
dann ist f eine k-stellige Funktion
mit Argumenttypen A₁,..., A_k
und Ergebnistyp B.

Beachte: das ist eine einstellige Funktion:

drops (3, "foobar") = "bar"
drops :: (Int, [a]) -> [a]