https://www.youtube.com/watch?v=oSdSuWoNVwo --- A monad is just a monoid in the category of endofunctors