Здравствуйте, Maxim S. Shatskih, Вы писали:

MSS>- Monad T есть обертка вокруг значения T

Нет. Например, список — это тоже монада. Но там нет какого-то одного значения, над которым список — обёртка.