hey all, new to property based testing so forgive me if this is a pretty simplistic question. what’s the idiomatic way to apply filtering functions to keys and values of generated maps? seems I could use fmap as a filtering function or such-that w a predicate, but I wanted to know if there are ramifications to using one over another

I think such-that is the preferred tool, assuming most of your generated values pass the filter

As such-that will give up after a fixed number of attempts