Нашлось небольшое описание некоторых полезных функций для работы с монадами.
Кратенько, но понятно описаны, с примерами.

A tour of the Haskell Monad functions

Может кому пригодится. В частности описаны функции:

(=<<), (>>), (>>=), ap, fail, filterM, fmap, foldM, guard, join, liftM, liftM2, liftM3, liftM4, liftM5, mapAndUnzipM, mapM, mapM_, mplus, msum, mzero, return, sequence, sequence_, unless, when, zipWithM, zipWithM_

P.S. Иногда окно с рекламкой появляется