úÎÅUportable experimental/Sebastian Fischer (sebf@informatik.uni-kiel.de)@Another search monad based on continuations that produce search  trees. 2Passes a continuation to a monadic search action.  The type  SearchTree a+ represents non-deterministic computations  as a tree structure.  Computes the  SearchTree representation of a Search action.  tree-monad-0.2Control.Monad.SearchTreeSearch SearchTreeChoiceOneNone searchTreesearch