Control.Applicative Control.Monad Control.Search.AllValues Control.Search.SearchTree Control.Search.SetFunctions Control.Search.Unsafe Curry.Compiler.Distribution Data.Char Data.Either Data.Function Data.Functor.Compose Data.Functor.Const Data.Functor.Identity Data.IORef Data.List Data.Maybe Debug.Trace Numeric Prelude System.CPUTime System.Console.GetOpt System.Environment System.IO System.IO.Unsafe Test.Prop Test.Prop.Types Text.Show