Obtain shrink tree from a generator for particular value

Given our current implementation, is it possible to define a function with signature
```fsharp
'a -> Gen<'a> -> Tree<'a>
```
that returns the shrink tree that the generator would use if the given value failed the test?

Of course this is not always possible. For example, the given value might not be in the range of the generator.