Kurt Schelfthout

Yes, it should be possible. The trick is to register a completely generic Arbitrary, and delegate to the default `Arb.Default.Derive()` for any type you don't want to handle. You'll need...

Don't think that's currently exposed - do I understand correctly that you don't really want to generate any new types reflectively, but that the types you generate will impose filters/other...

I think for now it's easiest to have your own Arbitrary instances implement a type like IArbitrary so you can cast them in a similar way. But I'll think about...

Yes, it's no longer possible because I hid the `Arb.Default.Derive` which you need to make this work. I'm considering what to do about this; for the moment I prefer your...

> On a related note, when I have MyArbitraries class describing all the domain types, would it be possible to have it provided to all Xunit Property attributes on the...

What about we allow this provided the unused type parameters have an attribute `Erased` - inspired by `Measure` - at the type alias declaration and are always erased in compiled...

I think this is an interesting idea, that hasn't gotten much attention. Related (directly inspired by?) kotlin: http://kotlinlang.org/docs/reference/delegation.html Much in the kotlin example also works out with F#, e.g. delegating...

Not sure it can work. Things to think about: - Sizing. FsCheck linearly increases the size from startsize to endsize during the test. So if you want a similar size...

It's only merged to FsCheck 3. If you take a dependency on that, please use exact versioning constraints, as it's currently in alpha and I do expect the API to...

Thanks @Andreas-Dorfer! You are most welcome to add a few lines to FsCheck's docs, e.g. here: