Ещё про монады забыл написать..

Монада это средство ГАРАНТИРОВАТЬ ПОРЯДОК вычисления функций.

Так?

Или я опять что-то не понял?