Question: I have a custom type I'm generating. I want to take a random substring of that type. (this because I'm creating a search-functionality) Is it possible to get access to the Random inside the test, such that creating the substring is repeatable? I would prefer this over creating it with an Arb, as that would mean that the property what is getting filtered is hidden. Or is there a better way?