Я пытаюсь выяснить, есть ли способ реализовать стрелки Клейсли, аналогичные тем, которые реализованы здесь для ввода-вывода бифунктора: https://www.npmjs.com/package/kleisli-ts, но для монадных трансформаторов, размещенных поверх бифунктора ввода-вывода.
Более конкретно, я хотел бы выполнить композицию Клейсли из нескольких StateReaderTaskEither экземпляров, но как относительный новичок в функциональном программировании я немного растерялся, как к этому приблизиться.
Любые подробные учебники по преобразователям монад иКлейсли стрелки ты бы порекомендовал? Конечно, я сделал свою домашнюю работу и сделал приличное количество исследования и чтения, но это все еще не «щелкает».