_interface_ MkId 1
_exports_
-MkId mkDataConId mkDataConWrapId ;
+MkId mkDataConIds ;
_declarations_
-1 mkDataConId _:_ Name.Name -> DataCon.DataCon -> Var.Id ;;
-1 mkDataConWrapId _:_ DataCon.DataCon -> Var.Id ;;
+1 mkDataConIds _:_ Name.Name -> Name.Name -> DataCon.DataCon -> DataCon.DataConIds ;;