Прекрасное: proarrow
a Haskell library for doing category theory with a central role for profunctors.
 
Стыкуем функторы (вертикальные стрелки, отображения между объектами, преобразования внутри структур fmap) и профункторы (горизонтальные стрелки, обобщённые отношения, преобразования между структурами dimap) через 2-диаграммы без завтипов (проверка стыковки на уровне стандартной системы типов хаскеля). Единообразно работаем с композицией и преобразованиями функторов и профункторов в одном фреймворке. Можно построить универсальную теорию оптик и т.д.
 
Если же вы пишите код за зарплату, то эта темка вам абсолютно ничего не даст :) Так то, лишь 20%(!) наших сограждан считают обучение ценностью, ну штош.
 
...Тупая аиндюшатина нарисовала диаграмму криво, впрочем странно было бы ожидать чего-то другого. Типы профункторов несогласованы, η и ε -- это 2-морфизмы и т.д.