Доклад крутейшего Олега Нижникова из Тинькофф про стрелки и симметричные моноидальные категории: https://www.youtube.com/watch?v=i-A7XiJ_1sk
Ну а я чуток упоролся и транслировал пример из его доклада на тайпскрипт: https://codesandbox.io/s/arrows-ts-hu13d

P.S. Кстати, в codesandbox есть мой шаблон, содержащий fp-ts и его экосистему, в том числе и kleisli-ts, для быстрой проверки гипотез на функциональном TS: https://codesandbox.io/s/functional-typescript-template-e156q