Como o não-determinismo pode ser modelado com uma lista monad?
Alguém pode explicar (melhor com um exemplo em inglês claro) o que uma lista monad pode fazer para modelar cálculos não determinísticos? Ou seja, qual é o problema e qual solução uma lista pode oferecer.