The core problem seems to be that we just don't (yet) have good words for this particular space of abstractions. Many programmers have thought about or solved t

The core problem seems to be that we just don't (yet) have good words for this particular space of abstractions. Many programmers have thought about or solved the same problem monads address, but they haven't mentally labelled the concept, and we certainly have agreed as an industry on these labels. So we're all struggling to try to talk about some things we don't have terms for.