Equivalence of nested flatMaps and chained flatMaps for Kleisli arrow composition.
https://www.slideshare.net/pjschwarz/monad-fact-2 part of this series - download for best results - slides can be a bit grainy/out-of-focus when viewed on the site
Those are the first 4 slides, see the deck for the rest.