@@ -33,7 +33,8 @@ import Language.Haskell.TH
3333 , Pred
3434#endif
3535 , varT
36− , classP
36+ , conT
37+ , appT
3738 -- Lifted constructors
3839 -- .. Literals
3940 , stringL
@@ -261,7 +262,7 @@ generateStatic n xs typ = do
261262 ]
262263 where
263264 typeable :: TyVarBndr -> Q Pred
264− typeable tv = classP (mkName "Typeable") [varT (tyVarBndrName tv)]
265+ typeable tv = conT (mkName "Typeable") `appT` varT (tyVarBndrName tv)
265266
266267-- | Generate a serialization dictionary with name 'n' for type 'typ'
267268generateDict :: Name -> Type -> Q [Dec]