Example that shows the limitations of integrated shrinking
问题 I just watched a video that presents the notion of integrated shrinking for property based tests. The approach seems to have some advantages over type directed shrinking , however it was pointed out in this reddit thread that the integrated shrinking approach does not fit well in the case of monadic generators: Doing shrinking in your way does not fit well with a monadic style for generators. Here is an example, consider generating an arbitrary list (ignore termination for now): do x <-