Реализация эндоморфизмов и типа Maybe как моноидов. Использование сверток. Свойство слияния foldr-map.
Maybe
foldr-map
