Hedgehog in its tutorial provides some marketing that illustrates its "integrated shrinking", claiming that FsCheck cannot do this. There are in fact, a number of ways to rewrite their example so it also shrinks in FsCheck.
The original example hedgehog gives is:
let version =
Arb.generate<byte>
|> Gen.map int
|> Gen.three