Enough already.

Monad is a generalization (as a type-class, which is the particular way of defining an ADT) of an type-level abstraction barrier.

It comes from untyped math which has "structural" notions, such as Monoid, and, indeed Monad could be viewed as a Monoid.

There is nothing more "deep" or "profound" in there, and the whole mass hysteria is similar to those when Java came out.