that makes sense. and if I’m having trouble getting such-that to satisfy the predicate within a certain number of attempts, fmap still produces shrinkable generators correct?

@mss definitely; anything with fmap is likely more efficient than such-that as well, since it doesn't need to generate extra stuff

awesome, thank you