title: How can non-determinism be modeled with a List monad?
body: <p>Can anyone explain (better with an example in plain English) what a list monad can do to model non-deterministic calculations? Namely what the problem is and what solution a list monad can offer.</p>