Wadler先生のMonadの論文が日本語で解説されてるぞ。
monoidも説明されてる。
http://www.is.titech.ac.jp/~kando9/work/Progress/Monad/Monad.html