@hackage nondeterminism1.0

A monad and monad transformer for nondeterministic computations.

Nondeterministic computations