Realisierung

nach closure conversion sind alle Abstraktionen geschlossen, diese müssen nur noch aufgesammelt und eindeutig benannt werden.

let { g1 = \ v1 .. vn -> b1
    ...
    ; gk = \ v1 .. vn -> bk
} in b

dann in b1, .., bk, b keine Abstraktionen gestattet

• Zustandsmonade zur Namenserzeugung ( g₁, g₂,…)
• Ausgabemonade (WriterT) zum Aufsammeln
• g₁,…, g_k dürften nun sogar rekursiv sein (sich gegenseitig aufrufen)