@hackage nondeterminism1.5

A monad and monad transformer for nondeterministic computations.

Nondeterministic computations