Я уже где-то десяток пейперов про линейщину почитал и чем дальше, тем хуже. То там про логику ресурсов, ну ладно, это я ещё понять могу, то про сети взаимодействия, то про конструктивную математику, то про разные сорта моноидальных категорий, то, извините, про забывающие функторы, которые каким-то образом левые сопряжённые, а не правые, как обычно, вообще охуеть. Да как это связано между собой? Я думал, это просто девайс, чтобы поменьше индексированных монад писать