Try to use deriving instance Typeable Proxy for ghc 7.7