Это cats???

Нет, это какая-то либа неизвестная

Я шучу :)

От этого на душе не легче

Стрелки везде выглядит упорото, вон в хаскеле с ними та же история

(Если это стрелки тут у автора, конечно)

Мне кажеццо что это какой-то теоркат и попытка выразить рекурсию на фолдабл

Ну да, по описанию в документациях звучит похоже на стрелки, на самом деле.

Но я не знаю, если это вслух прочесть, можно и Сатану вызвать

Это наебалово

всё что завернуто в ` это просто переменные

просто имена

Долбоёбы. Долбоёбы никогда не меняются...

Там между стрелки тоже есть

Неправда

вот я не поменялся!!11

Тут идея простая, мы считаем, что у нас есть какая-то абстракция над функциями, что каким-то образом переводит один тип в другой - это как раз тип >-->[_,_].

Мы навешиваем всякие констреинты на этот тип (в духе, что можно эти стрелки композировать, можно их использовать в рекурсии и т.д.) и пытаемся писать программы, которые будут работать для любого типа таких стрелок.

Тогда можно будет поменять семантику программы целиком заменив тип стрелки в программе, и в отличие от всяких монад, стрелки можно достаточно хитро анализировать и оптимизировать до их непосредственного выполнения.

Кокое говно, товарищи. Отборный сорт.

Кстати, помню это обсужали как-то.
Еще раз вброшу

https://github.com/fsprojects/FSharpPlus/blob/master/src/FSharpPlus.TypeLevel/TypeBool.fs