Klesli + List 2
В прошлой записи мне дали ценные подсказки. Во-первых, проблема в том, что sequence не удовлетворяет требованиям и потому монадический трансформер из списка так просто не получить. Во-вторых, был задан более общий вопрос: переносится ли эндофунктор над Set в эндофунктор над Клейсли-категорией.
Посоставляв диаграммы (которых я тут не приведу), я пришёл к выводу, что да, если коммутирует левая-верхняя диаграмма оттуда же (остальные мне не пригодились), что для списка наверняка не верно (хотя я не проверил).
Т.е. если можно получить монаду над ST, используя натуральное преобразование TS -> ST, то можно и эндофунктор T перенести на категорию Клейсли (с монадой S). Однако данные требования избыточны, так как мы не комбинируем монады, а переносим эндофунктор.
Есть для этого какое-то название и не налажал ли я, не знаю.
Посоставляв диаграммы (которых я тут не приведу), я пришёл к выводу, что да, если коммутирует левая-верхняя диаграмма оттуда же (остальные мне не пригодились), что для списка наверняка не верно (хотя я не проверил).
Т.е. если можно получить монаду над ST, используя натуральное преобразование TS -> ST, то можно и эндофунктор T перенести на категорию Клейсли (с монадой S). Однако данные требования избыточны, так как мы не комбинируем монады, а переносим эндофунктор.
Есть для этого какое-то название и не налажал ли я, не знаю.