1, 2, 3, 4, 5, 6, 7, 8, 9 Весь нижеупомянутый код расположен на гитхабе у котят. Пример. Traversable Когда у нас есть аппликативный функтор, у нас имеется что-то вроде моноида: есть относительный синглтон (не буду вдаваться в подробности), pure, и есть бинарная операция <*>; с помощью этих двух операций мы можем устраивать свёртку, скажем, списка...