This page has moved to http://blog.ploeh.dk/2009/03/05/ConstrainedNon-Determinism.