Typeable became obsolete in GHC 7.10 and are now triggering warnings.
I think we should officially drop support for GHC 7 and remove all of deriving Typeable .

I could implement it if I get a guarantee that the PR gets merged (of course, under the condition that the PR is of high quality, which should not be hard to meet given the simplicity of this PR).