lazysmallcheck-0.6: A library for demand-driven testing of Haskell programs