Являются ли монады просто способами составления функций, которые в противном случае не складывались бы?

Функция связывания кажется удивительно похожей на функцию композиции. И это помогает в составлении функций, возвращающих монады.

Есть ли что-нибудь более поучительное в монадах, чем эта идея?