Also see Oleg's "Effects without Monads: Non-determinism -- Back to the Meta-Language"

https://arxiv.org/abs/1905.06544