Что ещё важно про "монады"

Ведь монада не ПОРОЖДАЕТ полный КЛАСС функций для всего декартового произведения "несвязанных значений"?

Так?

"Монада" ПОРОЖДАЕТ "КОНКРЕТНОЕ" значение из КЛАССА ФУНКЦИЙ, соответствующее текущему значению "несвязанных переменных".

Так?