Danvy, O. A New One-Pass Transformation into Monadic Normal Form. BRICS 2002, 9.