Comment by skew-aberration

You could write everything if you refactor to continuation passing style