/dev-haskell/lazysmallcheck/