A -> '(' Op ')' -- zweistellige Fkt. | '(' Op A ')' -- left section, einst. Fkt | '(' A Op ')' -- right section, einst. Fkt
Beispiele: alle folgenden Ausdrücke sind äquivalent
"foo" ++ "bar", (++) "foo" "bar", ("foo" ++) "bar", (++ "bar") "foo"