+instance (Data a, Data b, Data c, Data d, Data e, Data f)
+ => Data (a,b,c,d,e,f) where
+ gfoldl f z (a,b,c,d,e,f') = z (,,,,,) `f` a `f` b `f` c `f` d `f` e `f` f'
+ toConstr _ = tuple6Constr
+ fromConstr c =
+ case conIndex c of
+ 1 -> (undefined,undefined,undefined,undefined,undefined,undefined)
+ _ -> error "fromConstr"
+ dataTypeOf = tuple6DataType
+
+
+------------------------------------------------------------------------------
+
+
+tuple7Constr = mkDataConstr 1 "(,,,,,,)" Infix
+tuple7DataType x = mkDataType [tuple7Constr] x
+
+instance (Data a, Data b, Data c, Data d, Data e, Data f, Data g)
+ => Data (a,b,c,d,e,f,g) where
+ gfoldl f z (a,b,c,d,e,f',g) =
+ z (,,,,,,) `f` a `f` b `f` c `f` d `f` e `f` f' `f` g
+ toConstr _ = tuple7Constr
+ fromConstr c = case conIndex c of
+ 1 -> (undefined,undefined,undefined,undefined,undefined,undefined,undefined)
+ _ -> error "fromConstr"
+ dataTypeOf = tuple7DataType
+
+
+------------------------------------------------------------------------------
+
+
+instance Data TypeRep where
+ toConstr _ = error "toConstr"
+ fromConstr _ = error "fromConstr"
+ dataTypeOf = error "dataTypeOf"
+
+
+------------------------------------------------------------------------------
+
+
+instance Data TyCon where
+ toConstr _ = error "toConstr"
+ fromConstr _ = error "fromConstr"
+ dataTypeOf = error "dataTypeOf"
+
+
+------------------------------------------------------------------------------
+
+
+INSTANCE_TYPEABLE0(DataType,dataTypeTc,"DataType")
+
+instance Data DataType where
+ toConstr _ = error "toConstr"
+ fromConstr _ = error "fromConstr"
+ dataTypeOf = error "dataTypeOf"
+
+
+------------------------------------------------------------------------------
+
+
+INSTANCE_TYPEABLE0(DataCons,dataConsTc,"DataCons")
+
+instance Data DataCons where
+ toConstr _ = error "toConstr"
+ fromConstr _ = error "fromConstr"
+ dataTypeOf = error "dataTypeOf"
+
+
+------------------------------------------------------------------------------
+
+
+INSTANCE_TYPEABLE0(PrimCons,primConsTc,"PrimCons")
+
+instance Data PrimCons where
+ toConstr _ = error "toConstr"
+ fromConstr _ = error "fromConstr"
+ dataTypeOf = error "dataTypeOf"
+
+
+------------------------------------------------------------------------------
+
+
+INSTANCE_TYPEABLE0(Constr,constrTc,"Constr")
+
+instance Data Constr where
+ toConstr _ = error "toConstr"
+ fromConstr _ = error "fromConstr"
+ dataTypeOf = error "dataTypeOf"
+
+
+------------------------------------------------------------------------------
+
+
+INSTANCE_TYPEABLE0(PrimRep,primRepTc,"PrimRep")
+
+instance Data PrimRep where
+ toConstr _ = error "toConstr"
+ fromConstr _ = error "fromConstr"
+ dataTypeOf = error "dataTypeOf"
+
+
+------------------------------------------------------------------------------
+
+
+INSTANCE_TYPEABLE0(Fixity,fixityTc,"Fixity")
+
+instance Data Fixity where
+ toConstr _ = error "toConstr"
+ fromConstr _ = error "fromConstr"
+ dataTypeOf = error "dataTypeOf"
+
+
+------------------------------------------------------------------------------