Non-Determinism Monad for Tree Search; profiling libraries

 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 a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.