> BTW, I've included a worked out a example of what output > I need from MLton below just to make sure we're on the same wave length... I think it is quite feasible to get what you call FOL_CPS from a Cps program. (thanks for pointing out that you need one datatype per return type)