__interface MkId 1 0 where
-__export MkId mkDataConId mkDataConWrapId ;
-1 mkDataConId :: Name.Name -> DataCon.DataCon -> Var.Id ;
-1 mkDataConWrapId :: DataCon.DataCon -> Var.Id ;
-
+__export MkId mkDataConIds ;
+1 mkDataConIds :: Name.Name -> Name.Name -> DataCon.DataCon -> DataCon.DataConIds ;