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