diff --git a/examples/base-src/module-edits/Data/Semigroup/Internal/edits b/examples/base-src/module-edits/Data/Semigroup/Internal/edits
index 47d84757..1576f6b9 100644
--- a/examples/base-src/module-edits/Data/Semigroup/Internal/edits
+++ b/examples/base-src/module-edits/Data/Semigroup/Internal/edits
@@ -21,12 +21,12 @@ add Data.SemigroupInternal Instance Unpeel_Product a : HsToCoq.Unpeel.Unpeel (Pr
 add Data.SemigroupInternal Instance Unpeel_Sum a : HsToCoq.Unpeel.Unpeel (Sum a) a :=
 	 HsToCoq.Unpeel.Build_Unpeel _ _ getSum Mk_Sum.
 
-order Unpeel_Any     Data.SemigroupInternal.Eq___Any_op_zeze__
-order Unpeel_All     Data.SemigroupInternal.Eq___All_op_zeze__
+order Unpeel_Any     Data.SemigroupInternal.Semigroup__Any_op_zlzlzgzg__
+order Unpeel_All     Data.SemigroupInternal.Semigroup__All_op_zlzlzgzg__
 order Unpeel_Alt     Data.SemigroupInternal.Eq___Alt_op_zeze__
-order Unpeel_Product Data.SemigroupInternal.Eq___Product_op_zeze__
-order Unpeel_Sum     Data.SemigroupInternal.Eq___Sum_op_zeze__
-order Unpeel_Dual    Data.SemigroupInternal.Eq___Dual_op_zeze__
+order Unpeel_Product Data.SemigroupInternal.Semigroup__Product_op_zlzlzgzg__
+order Unpeel_Sum     Data.SemigroupInternal.Semigroup__Sum_op_zlzlzgzg__
+order Unpeel_Dual    Data.SemigroupInternal.Functor__Dual_fmap
 order Unpeel_Endo    Data.SemigroupInternal.Semigroup__Endo_op_zlzlzgzg__
 
 order Data.SemigroupInternal.Eq___Any     Data.SemigroupInternal.Ord__Any