Namen (II)

Der Typ des CPS-Transformators ist dann:

transform' :: Exp -> State [ String ] Exp
transform' x = case x of 
    ...

Schnittstelle nach außen:

transform :: Exp -> Exp
transform = 
   evalState ( transform' x ) ( unused x )