That means they do meaningless unnecessary wrapping too. It is even more ridiculous for a weak-typed language.

The only point of a Monad is that in a lazy language it desugars into an implicit nested functions, which guarantees the order of evaluation.

The monadic code, then, could be generalized over >>=, >> and return, and given that, specialized instances of a Monad class could be made, like Maybe, ST and what not.

The only meaning in performing these steps is to establish a guaranteed order of evaluation (via implicit nesting of functions) for serialized abstractions.

But that is ok, most of Javascript coders never studied CS fundamentals or comparative PL.