How placing Kleisli composition logic in flatMap permits composition of Kleisli arrows using for comprehensions, and what that logic looks like in six different monads.
https://www.slideshare.net/pjschwarz/monad-fact-number-3 part of this series - download for best results - slides can be a bit grainy/out-of-focus when viewed on the site
