Syntax: Deklarationen

D: Deklaration, M : Muster (bindet Variablen)

D -> Name M .. M = A    
            -- Bindet (Funktions-)Namen
M -> Name   -- Bindet Variablen-Namen
   | Konstruktor M .. M -- Matching
   | M Konstruktor-Op M --    ..
   | '_'                -- Wildcard

Wildcard:

length [] = 0
length (_ : xs) = 1 + length xs

Nachtrag:

A -> case A of
     M -> A
     ...