Функциональное программирование на языке Haskell

• Введение в класс типов Functor
• Операторы функции fmap: <$> и <$
• Реализация представителя Functor для двухпараметрических типов
• Законы для функторов
• Упаковка возвращаемого значения в однопараметрический контейнер
• Класс типов Monad и стрелка Клейсли 
• Оператор монадического связывания - bind
• Интерфейс классов типов Monad и вспомогательные функции
• Реализация представителя класса типов Monad на примере контейнера Identity
• Законы для монад