Opinions on internal shrinking

[the-dr-lazy]

Recently realized about the neat approach of Hypothesis and @edsko on the well-typed/falsify which solves inefficiency of integrated monadic shrinkers. It would be lovely to see more opinions on the approach and its potential influences on Hedgehog.