Моноидальный разбор — что это?

Я только что наткнулся на термин моноидальный разбор из слайда под названием "Введение в моноиды" Эдварда Кметта . Слайд использует haskell повсюду.

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

Итак, является ли моноидальный разбор чем-то интересным и новым? Появляется ли он где-либо, кроме слайда, на который я ссылаюсь? А самое главное что это? Сам слайд, казалось, не давал определения и не особо выделял его.