Программирование в монаде списка. Связь классов типов Monad, Functor и Applicative. Монадические комбинаторы.