Свёртки списков. Правая и левая свёртки. Ленивые и энергичные версии свёрток. Моноиды и полугруппы. Представители классов типов Semigroup и Monoid. Обобщение сверток на произвольные контейнерные типы: класс типов Foldable.