The Wikipedia has a very good treatment: http://en.wikipedia.org/wiki/Monad_(functional_programming)

The monad is the axioms outlined in the article. The applicability of the monad are the logical consequences of its axioms, but it is no more than its axioms.

Happy hacking!