p1063r1 (PDF) содержит следующий абзац:
В этом предложении не делается попытка расширить сопрограммы до полностью общего монадического объекта.Для программистов, которые хотят принять монадический подход, и наше предложение, и TS ограничены поддержкой линейных монад, поскольку они не поддерживают копирование приостановленного кадра сопрограммы и, следовательно, не поддерживают недетерминированное возобновление из одного и того же состояния с несколькими входами.
Я не знаком с проектами, которые поддерживают недетерминированное возобновление из одного и того же состояния с несколькими входами.
Существует ли реализация в каком-либо из основных языков программирования, позволяющая это сделать?Также мне интересно, какие будут варианты использования для такого типа монады / сопрограммы.