Test.SmallCheck
class Testable a
data Property
property
exists
exists1
existsDeeperBy
exists1DeeperBy
(==>)
smallCheck
depthCheck
smallCheckI
type Depth