Пожалуйста, помогите мне понять концепцию внутренних и внешних монад.

Я пока не монада-джедай, но базовые представления о них имею.

Теперь я читаю несколько статей, в которых упоминаются «внутренняя» и «внешняя» монада, и мне интересно, что это значит.

(Ссылки на) примеры кода будут полезны.

Спасибо!