Ironically, I think the original paper that introduced Monads as a useful computational abstraction is the clearest explanation I've seen. https://homepages.in

Ironically, I think the original paper that introduced Monads as a useful computational abstraction is the clearest explanation I've seen. https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/b...