Dear Haskellers, You might be interested in SparseCheck, a library for typed, depth-bounded logic programming in Haskell allowing convenient expression of test-data generators for properties with sparse domains. http://www.cs.york.ac.uk/~mfn/sparsecheck/ SparseCheck is a based on a library called LP (to be presented at the Haskell Workshop) that was developed jointly with Emil Axelsson. Matthew.