Spezielle Operator-Syntax

filter odd     [1,2,3,4,5,6,7] = [1,3,5,7]
filter ( < 4 ) [1,2,3,4,5,6,7] = [1,2,3]

Hierbei ist ( < 4 ) ein Ausdruck, der die Funktion \ x -> x < 4 beschreibt.

A  -> '('   Op   ')'
    | '('   Op A ')' -- left  section
    | '(' A Op   ')' -- right section

zipWith (*) [1,2] [4,5,6] = [4,10]

hier beschreibt der Ausdruck (*) die Funktion \ x y -> x * y.