Read FP/Danvy,Nielsen- Defunctionalization at Work.pdf