That’s an example of a specific monad, not the definition of the general concept of a monad. Also, JS promises are not really monads. They lack denotational eq

That’s an example of a specific monad, not the definition of the general concept of a monad. Also, JS promises are not really monads. They lack denotational equality, so they can’t be said to obey the monad laws.