How to design co-programs (good take on one shortcoming of HtDP)

This was quite insightful. I wonder how HtDP authors missed this. Would love to hear perspectives from those of you folks who have TA’ed classes based on the HtDP approach.