I don't disagree. The counterparts of these concepts in the everyday programming world are fairly common sense design patterns that have been in use for fifty

I don't disagree. The counterparts of these concepts in the everyday programming world are fairly common sense design patterns that have been in use for fifty years. The names and the beautiful theory for reasoning about them come from FP languages for sure, but that's the side effect of all PL theory being approached as FP theory, and are not fundamental to the 'functional' aspect of functional programming.