Почитал пару глав про категории. Это получается композиция функций А -> Б -> В -> А -> Б... Сразу приходит мысль про иммутабельность данных и однонаправленность потока во Флакс архитектуре? Так?
Там ещё в статье про функции высшего порядка, функция приминает в качестве аргумента другую функцию и на выходе получаем ещё функцию