map package:quickcheck-classes-base

Property for the mapMaybe function, which keeps elements for which the predicate holds true.