Sure- I didn't read your comment that way, my point was primarily just that there is no clear path to such a language yet. It's an open question of whether it i

Sure- I didn't read your comment that way, my point was primarily just that there is no clear path to such a language yet. It's an open question of whether it is possible and how to accomplish it, and TFA is already another very small step toward answering that question. (I suspect their reason for avoiding the word "monad" was that it is totally alien and obfuscatory to a significant part of the target audience, and it's relatively easy for those who are familiar to connect the dots themselves, as you clearly did.)