Ryan Scott

I'm not the maintainer, but I'll chime in anyway: There currently _is_ a generic implementation of `shrink` called `genericShrink`, as you can see [here](https://github.com/nick8325/quickcheck/blob/a25cce79309656700a4e77f2b75da4c36968f008/Test/QuickCheck/Arbitrary.hs#L278-L281). It is _not_, however, the default...

This didn't land for `QuickCheck-2.10`. But in any case, @nick8325, would you be willing to consider adding a standalone `genericArbitrary` function (not using `DefaultSignatures`) to the next release? If not,...

I definitely agree that we should put a prominent warning in the documentation about using this for recursive types. But actually _detecting_ the presence of recursive types proves trickier than...

Sorry for not noticing this earlier! @ekmett, do you have an opinion on whether to: 1. Update the `Bifoldable` instance to `instance (Bifoldable p, Bifunctor p) => Bifoldable (Coyoneda p)`,...

Hm, this is a tricky one. Before reviewing #125 too closely (thank you for submitting a patch, by the way!), I think it would be worth thinking about what the...

I realized right after submitting my last comment that my argument isn't entirely consistent with how `deriveBifunctor` currently works. I was worried that it would be too confusing for users...

Ugh, I completely forgot about instance context generation. I'll be the first person to admit that the way `bifunctors` infers instance contexts is imperfect, and that's largely to be expected....

@julmb has some large `ad`-based projects that incur a slight performance penalty because of this, if I understand https://github.com/ekmett/ad/pull/105#issue-1791893479 correctly.

Hm, I was able to install `gi-gtk4`, `gi-cairo`, `gi-harfbuzz`, and friends using GHC 9.4.3 on Windows. I'm not exactly sure what is different on my machine, but just in case...

Yes, I'd happily accept a patch to expand upon the documentation.