quickCheck package:explainable-predicates

QuickCheck integration for Predicate