Re: [Haskell-cafe] ANN: leancheck-v0.7.2, enumerative QuickCheck-like testing