nondeterminism (hackage): Nondeterministic computations
Keywords: ai|constraints|control|failure|library|monads