The big idea here is that if a user or something besides Database.Persist.TH writes a C a => PersistEntity (Foo a) instance, we don't want discoverEntities to find it and include a entityDef (Proxy :: Proxy (Foo a)) in the list, because there's no way that's going to work (unless C is a trivial typeclass).

---

Before submitting your PR, check that you've:

• Documented new APIs with Haddock
  markup
• Added @since
  declarations
  to the Haddock
• Ran stylish-haskell on any changed files.
• Adhered to the code style (see the .editorconfig file for details)

After submitting your PR:

• Update the Changelog.md file with a link to your PR
• Bumped the version number if there isn't an (unreleased) on the Changelog
• Check that CI passes (or if it fails, for reasons unrelated to your change, like CI timeouts)