Реализация представителей класса типов Traversable. Функтор Const и реализации методов Foldable по умолчанию. Моноидальные функторы.