úÎYportable experimental/Sebastian Fischer (sebf@informatik.uni-kiel.de) The type  SearchTree a+ represents non-deterministic computations  as a tree structure. tree-monad-0.1Control.Monad.SearchTree SearchTreeChoiceOneNone