Personal feelings about gate keeping aside, it’s better to have a name for a thing that’s in common use than to make up your own and confuse everyone. You don’

Personal feelings about gate keeping aside, it’s better to have a name for a thing that’s in common use than to make up your own and confuse everyone. You don’t have to be a gatekeeping, academic elitist to understand how to use a monad. I use them every day at work and I program on my stream where I’m using them all the time. What’s nice about it is that if I want to go on that journey and learn more about monads so that I can build my own abstractions upon them I can go right to the source definitions. I don’t have to go look up what a BurritoWrapper is and all of the methods designed for it that only work with whatever the author designed them for. Once I know I have a monad I know how to use it. Curry-Howard is super cool and we should formalize things more.