Use GHC derived Typeable when possible

GHC 7.7 can now derive Typeable