Control.SearchTree.Unsafe
Library to represent strongly encapsulated non-deterministic computations as a search tree where local unbound variables remain free
Detailed package documentation (available shortly after this version has been published)