Syntax: Operatoren und Funktionen

A : Ausdruck (beliebig), E: Ausdruck (elementar)

A  -> E E .. E   
    | A Op A

E  -> Variable/Funktion -- beginnt klein
    | Konstruktor       -- beginnt groß
    | '(' A ')'

Op -> Operator     -- besteht aus Sonderzeichen
    | Konstruktor-Op -- ... und beginnt mit ':'

Beispiel:

head xs : tail xs