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 fro

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.