Cum scriem "declaratii locale" in interiorul unor functii ?

Se poate folosi o expresie cu let, desi nu e singura solutie:

Exemplul 1:
  let f = (\x -> x +1)
  in f 2

Entitatile declarate local si folosite in expresie pot fi obtinute si in urma unei potriviri de sabloane ("pattern matching"):

Exemplul 2:
  let (a,b) = ( [1,2] , [3] )
  in a ++ b