Non-Determinism Monad for Tree Search; documentation

 This Haskell library provides an implementation of the MonadPlus
 type class that represents the search space as a tree whose
 constructors represent mzero, return, and mplus.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.