Philip Wadler's paper Monads for functional programming is the first thing I read that made any sense. FYI this is the horse's mouth.