This is a pretty interesting ontology of one path generalization. I find the getter/setter nomenclature a little imprecise. It makes me think of interacting wi

This is a pretty interesting ontology of one path generalization. I find the getter/setter nomenclature a little imprecise. It makes me think of interacting with fixed state, rather than input and output into completely abstract "systems" on the other side of the function calls. To me, provider/consumer seems a bit more on-the-mark. It seems to me that there are other paths of generalization you could follow, as well (e.g. https://leanpub.com/combinators https://leanpub.com/combinators). Even though we all know that you can model...well...anything with functions, it's still enlightening and mindbending to explore the patterns for actually doing so.