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