@@ -269,25 +269,25 @@ semiringNumber :: (String, String)
269269semiringNumber = (C.prelude, C.semiringNumber)
270270
271271semiringInt :: (String, String)
272−semiringInt = (C.dataInt, C.semiringInt)
272+semiringInt = (C.prelude, C.semiringInt)
273273
274274ringNumber :: (String, String)
275275ringNumber = (C.prelude, C.ringNumber)
276276
277277ringInt :: (String, String)
278−ringInt = (C.dataInt, C.ringInt)
278+ringInt = (C.prelude, C.ringInt)
279279
280280moduloSemiringNumber :: (String, String)
281281moduloSemiringNumber = (C.prelude, C.moduloSemiringNumber)
282282
283283moduloSemiringInt :: (String, String)
284−moduloSemiringInt = (C.dataInt, C.moduloSemiringInt)
284+moduloSemiringInt = (C.prelude, C.moduloSemiringInt)
285285
286286eqNumber :: (String, String)
287287eqNumber = (C.prelude, C.eqNumber)
288288
289289eqInt :: (String, String)
290−eqInt = (C.dataInt, C.eqInt)
290+eqInt = (C.prelude, C.eqInt)
291291
292292eqString :: (String, String)
293293eqString = (C.prelude, C.eqNumber)
@@ -299,7 +299,7 @@ ordNumber :: (String, String)
299299ordNumber = (C.prelude, C.ordNumber)
300300
301301ordInt :: (String, String)
302−ordInt = (C.dataInt, C.ordInt)
302+ordInt = (C.prelude, C.ordInt)
303303
304304semigroupString :: (String, String)
305305semigroupString = (C.prelude, C.semigroupString)