I wrote an explainer for monads because I think they are typically explained in a terrible way for the working programmer.

Would love any feedback on this.