note
Export withQuickCheckSize.
(experimental) add size bound
actually use the maxSize parameter
(experimental) count number of variables in size
Change disambiguate's type.
Don't use relative includes (thanks to Rene de Visser)
todo
pretty-printing
put background equations first in pruning order
Fix bitrot.
Allow the user to generate only terms satisfying a predicate (for Dan)
Bump QuickCheck version in cabal file