haskell-lazysmallcheck