A prototypical Curry library that employs non-determinism in certain graph algorithms.