A: Ausdruck, d: Name, T: Typ, W, A: Ausdruck
let d :: T d = W .. in A
{ T d = W; // Deklaration mit Initialisierung ; return A }