Why do fully-functional map, filter, and fold-right/fold-left need environment model?
This is one follow-up question of this QA. The comments there focus on how to implement map
etc in C++ but doesn’t say much about “relationship between environment model” and map
etc.