Этот вопрос касается создания правильного экземпляра Monad из чего-то, что является монадой, но только при определенных ограничениях, например Set . Хитрость заключается в том, чтобы обернуть его в ContT , что откладывает ограничения на...