tasty-quickcheck-0.10.3: QuickCheck