In diesem Vortrag wird eine neue Deforestation-Methode vorgestellt, die eine bekannte Methode, Short Cut Deforestation, mit einer neuen, auf Typinferenz beruhenden Analyse kombiniert. Short Cut Deforestation eliminiert eine Zwischenliste durch eine einzige, lokale Transformation. Im Gegenzug stellt Short Cut Deforestation jedoch hohe Anforderungen an die syntaktische Form des Programms, die dem Schreiben von verständlichen Programmen zuwiderlaufen. Im Vortrag wird ein Algorithmus beschrieben, der einen beliebigen Erzeuger einer Zwischendatenstruktur in die von Short Cut Deforestation geforderte Form bringt. Den Kern des Algorithmus bildet ein effizienter Typinferenzalgorithmus, da das Transformationsproblem auf ein Typinferenzproblem zurückgeführt werden kann.