@@ -255,10 +255,10 @@ instance forall k p
255255 h :: DSum k (ToFrom k p) -> [DSum k (Const (Fixup k p))]
256256 h ((between :: k between) :=> ToFrom editAfter editBefore) = case (editAfter, editBefore) of
257257 (To_Move (Some (toAfter :: k after)), From_Move ((fromBefore :: k before) :=> Flip p) :: From k p between) ->
258− case toAfter `geq` fromBefore of
259− Just Refl | Just Refl <- Cat.isId p ->
258+ case Cat.isId p of
259+ Just Refl ->
260260 [ toAfter :=> Const Fixup_Delete ]
261− _ ->
261+ Nothing ->
262262 [ toAfter :=> Const (Fixup_Update $ This $ between :=> From_Move (fromBefore :=> Flip p))
263263 , fromBefore :=> Const (Fixup_Update $ That $ To_Move $ Some toAfter)
264264 ]