The Persistent codebase derives typeable in a few places. Given that since 7.10 Typeable is automatically derived, and Persistent requires > GHC 7.10, Persistent could drop the manual deriving of it. You can find instances of it with the warning -Wderiving-typeable.

The yesod version of this issue: yesodweb/yesod#1653