I see the disparity now. You are using Scheme48 1.3, from which an important compiler optimization of CWV was removed; I was using Scheme48 0.57, which still had the optimization. Anyway, this thread is getting rather belaboured with irrelevant details. My original point remains: performance does not enter into the design rationale.